nLab
Automath

Idea

Automath was the historically first logical framework. The goal of the Automath project was to provide a tool for the formalization of mathematics without foundational prejudice.

References

The Automath Archive

category: software

Revised on January 12, 2014 09:56:12 by Bas Spitters (95.97.89.142)