1 result found Sort:

forked-from-1kasper
ground_zero forked-from-1kasper
1
38
apache-2.0
3
Ground Zero: Lean 4 HoTT Library
ctt hott lean math lean4 leanprover cubical-type-theory homotopy-type-theory
Created 2022-03-21
999 commits to master branch, last one about a month ago