Showing changes from revision #6 to #7:
Added | Removed | Changed
< proof assistants and formalization projects -- list
A partial list of proof assistants being used for formalizing homotopy type theory, and their libraries.
-indices-matter
for HoTT
--without-K
for HoTT