Entries by Sylvie Benzoni

Annals of Formalized Mathematics

The act of formalizing a proof is not mechanical: it involves substantial mathematical insight in its own right, and it constitutes the essence of formalized mathematics, which is now recognized as a mathematical discipline on its own. AFM editorial board The Annals of Formalized Mathematics is the first journal in this topical field, and it […]