MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
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
.
