, University of Bologna
-
Journal of Formalized Reasoning Vol. 1 No. 1 (2008) - Articles
A Page in Number Theory
Abstract PDF -
Journal of Formalized Reasoning Vol. 1 No. 1 (2008) - Articles
A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita
Abstract PDF -
Journal of Formalized Reasoning Vol. 5 No. 1 (2012) - Articles
Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover
Abstract PDF -
Journal of Formalized Reasoning Vol. 5 No. 1 (2012) - Articles
A proof of Bertrand's postulate
Abstract PDF -
Journal of Formalized Reasoning Vol. 7 No. 2 (2014): Special Issue: User Tutorials 2 - Articles
Matita Tutorial
Abstract PDF -
Journal of Formalized Reasoning Vol. 8 No. 1 (2015) - Articles
Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions
Abstract PDF