nLab Category — software

Overview

The nLab has 22 pages in this category.

Pages

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