Category:Large-scale mathematical formalization projects

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

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 "http://70.231.62.181/index.php?title=Category:Large-scale_mathematical_formalization_projects&oldid=8553204"