nLab
mathematics

proof assistants:

based on plain type theory/set theory:

based on dependent type theory/homotopy type theory:

For higher category theory:

projects for formalization of mathematics with proof assistants:

Historical projects that died out:

Last revised on September 12, 2019 at 03:11:44. See the history of this page for a list of all contributions to it.