Informal proofs formally checked by machine Luigia Aiello; Mario Aiello; Giuseppe Attardi; Gianfranco Prini — 1976 Annales scientifiques de l'Université de Clermont. Mathématiques