Annals of Formalized Mathematics

Logo of 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 is diamond open access ! Math OA is proud to support the initiative in the form of an overlay journal.

0 replies

Leave a Reply

Want to join the discussion?
Feel free to contribute!

Leave a Reply

Your email address will not be published.

This site uses Akismet to reduce spam. Learn how your comment data is processed.