Category:Large-scale mathematical formalization projects

Pages in category "Large-scale mathematical formalization projects"

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

B

G

Glossary of Principia Mathematica

M

Mizar system

P

Principia Mathematica

Retrieved from "https://enwiki.freddythechick.net/index.php?title=Category:Large-scale_mathematical_formalization_projects&oldid=9502859"