nLab Category — software

Overview

The nLab has 21 pages in this category.

Pages

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