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
Last revised on June 15, 2022 at 18:39:55. See the history of this page for a list of all contributions to it.