gebner / hott3Links

HoTT in Lean 3
80Updated 4 years ago

Alternatives and similar repositories for hott3

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

Sorting: