MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces
Program Extraction from Large Proof Developments
L. Cruz-Filipe
; Spitters, Bas
Proceedings of TPHOLs 2003
This page is hosted by the
Department of Computer Science
,
University of Bologna
.
Last updated
Fri Feb 2 17:12:28 CET 2007
.
