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