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