New Diamond Journal
We are delighted to welcome a new diamond open access journal: the Journal of Non-Associative Structures.
Posts
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.