Homotopy Type Theory
Proof Assistants > history (Rev #5)
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 November 18, 2019 at 14:40:21 by
Anonymous?.
See the history of this page for a list of all contributions to it.