Homotopy Type Theory Proof Assistants > history

< proof assistants and formalization projects -- list