Homotopy Type Theory
Proof Assistants > history (Rev #6)
Proof Assistants
A partial list of proof assistants being used for formalizing homotopy type theory, and their libraries.
Book HoTT
Cubical type theories
Modal type theories
Other
Revision on June 3, 2021 at 11:34:28 by
Robin Adams?.
See the history of this page for a list of all contributions to it.