Category:Large-scale mathematical formalization projects

From Infogalactic: the planetary knowledge core

Jump to: navigation, search

Pages in category "Large-scale mathematical formalization projects"

The following 5 pages are in this category, out of 5 total.

B

Nicolas Bourbaki

C

Coq

I

Implementation of mathematics in set theory

M

Mizar system

P

Principia Mathematica

Retrieved from "https://infogalactic.com/w/index.php?title=Category:Large-scale_mathematical_formalization_projects&oldid=503696734"