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

category: software

Revised on November 10, 2016 23:25:13 by David Roberts (129.127.37.77)