A new implementation of Automath (0)

by Freek Wiedijk
Venue:Journal of Automated Reasoning