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.
Automath Restaurant has examples of different foundations of mathematics encoded in Automath.
aut
- An implementation in ANSI C.
Last revised on November 10, 2016 at 23:25:13. See the history of this page for a list of all contributions to it.