nLab Category — software

Overview

The nLab has 18 pages in this category.

Pages

• Agda
• Automath
• Cadabra
• computer science
• Coq
• geogebra
• Globular
• homotopy.io
• Isabelle
• LF
• list of mathematics software
• Mathematica
• Mizar
• Narya
• programming language
• quiver (editor)
• Twelf
• TwoVect