Towards Automation of Real Analysis in Coq

L. Cruz-Filipe

CALCULEMUS Autumn School 2002: Student Poster Abstracts, Zimmer, J. and Benzmueller, C. (eds.), SEKI Report, Saarbruecken, 2002

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