Homotopy Type Theory
Proof Assistants > history
<
proof assistants and formalization projects -- list
category:
redirected to nlab