%0 Journal Article
%A Aiello, Luigia
%A Aiello, Mario
%A Attardi, Giuseppe
%A Prini, Gianfranco
%T Informal proofs formally checked by machine
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1976
%P 31-53
%V 60
%N 13
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://www.numdam.org/item/ASCFM_1976__60_13_31_0/
%G en
%F ASCFM_1976__60_13_31_0