Report copyright - Dimostrazione Formale e Meccanizzazione della Matematicaweb.math.unifi.it/users/maggesi/talks/2016-05-18-Pescara-Meccanizzazione.pdfUn libro di Maurice Lecat, Erreurs de Mathématiciens
Please pass captcha verification before submit form