Notes from the logbook of a proof-checker's project

D. CANTONE

OMODEO, EUGENIO

J. T. SCHWARTZ

P. URSINO