Homotopy Type Theory
Proof Assistants > history (Rev #4)
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 August 25, 2018 at 23:40:11 by
Anonymous?.
See the history of this page for a list of all contributions to it.