소유자 · HoTT

HoTT

HoTT의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 2개

#1
book ↗@HoTTTeX
비정형 호모토피 타입 이론 교과서
★ 2,168+1최근 7일 스타 변화
#2
Coq-HoTT ↗@HoTTRocq Prover
호모토피 유형 이론을 위한 Coq 라이브러리
★ 1,405+1최근 7일 스타 변화

← 소유자 랭킹으로