nLab
Automath

Idea

Automath was historically the first logical framework. The goal of the Automath project, initiated by Dick de Bruijn, was to provide a tool for the formalization of mathematics without foundational prejudice.

References

category: software

Last revised on November 7, 2018 at 06:30:02. See the history of this page for a list of all contributions to it.