Kategori:Storskaliga matematiska formaliseringsprojekt
Sidor i kategorin "Storskaliga matematiska formaliseringsprojekt"
I
Implementering av matematik i mängdlära
M
Metamath
Mizar system
N
Nicolas Bourbaki
O
Ordlista för Principia Mathematica
P
Principia Mathematica