rzrn / ground_zeroLinks

Ground Zero: Lean 4 HoTT Library
62Updated 2 weeks ago

Alternatives and similar repositories for ground_zero

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

Sorting: