Courant Institute / University of L’Aquila / University of Catania / University of New York / /
IndustryTerm
software system / machinery / decision algorithms / computing / proof systems / proof technology / /
Organization
University of L’Aquila / U.S. Securities and Exchange Commission / University of New York / Department of Computer Science / University of Catania / US Federal Reserve / Courant Institute / /
Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3