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

A comparison of the mathematical proof languages Mizar and Isar

Wenzel, M ; F. Wiedijk

Journal of Automated Reasoning 29, 389-411, 2002

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