Open makarius opened 6 years ago
Freek Wiedijk has the following information on Automath: http://www.cs.ru.nl/~freek/aut
It also includes a reimplementation by himself (presently version 4.2), which he might consider as "active".
Freek Wiedijk has the following information on Automath: http://www.cs.ru.nl/~freek/aut
It also includes a reimplementation by himself (presently version 4.2), which he might consider as "active".