IST Logo Small

A new implementation of Automath

F. Wiedijk

Journal of Automated Reasoning 29, 365-387, 2002


This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:29 CET 2007.
IST Logo Small