Sommaire

Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover

Guidi, Ferruccio

Link
Link


Journal of Formalized Reasoning
A formal proof of Sasaki-Murao algorithm

Coquand, Thierry ; Mörtberg, Anders ; Siles, Vincent

Link
Link


Journal of Formalized Reasoning
A proof of Bertrand's postulate

Asperti, Andrea ; Ricciotti, Wilmer

Link
Link


Journal of Formalized Reasoning