HoTT/Coq-HoTT
@HoTTホモトピー型理論のための Coq ライブラリ
スター
1,405
フォーク
203
言語
Rocq Prover
ライセンス
NOASSERTION
最終プッシュ
2 週間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
ホモトピー型理論のための Coq ライブラリ
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。