rzrn / ground_zeroLinks

Ground Zero: Lean 4 HoTT Library
61Updated this week

Alternatives and similar repositories for ground_zero

Users that are interested in ground_zero are comparing it to the libraries listed below

Sorting: