Category:Large-scale mathematical formalization projects

Pages in category "Large-scale mathematical formalization projects"

The following 7 pages are in this category, out of 7 total. This list may not reflect recent changes.

B

G

Glossary of Principia Mathematica

I

Implementation of mathematics in set theory

M

P

Principia Mathematica

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Large-scale_mathematical_formalization_projects&oldid=1177726270"

Uses material from the Wikipedia article Category:Large-scale mathematical formalization projects, released under the CC BY-SA 4.0 license.