A new implementation of Automath

Cached

Download Links

by Freek Wiedijk
Venue:Journal of Automated Reasoning
Citations:3 - 0 self