Category:大規模な数学的形式化プロジェクト

• 

  プリンキピア・マテマティカ

  Principia Mathematica
  
• 

  ニコラ・ブルバキ

  Nicolas Bourbaki
  
• 

  Mizar

  Mizar system