MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

Formal proof sketches

F. Wiedijk

Wan Fokkink & Jaco van de Pol (eds.), 7th Dutch Proof Tools Day, Program + Proceedings, CWI, Amsterdam, 2003

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