Annals of Formalized Mathematics

Verified by: Episciences . Last modification date:
Scholarly journal
Open Access with open licenses
No fees
Open to all authors
Community-Owned
Main title language:English
Other titles:-
e-ISSN:3117-4604
ISSN:-
Website:https://afm.episciences.org/
DOI:-
Publisher name:MathOA
Publisher country:Netherlands
Organizations:-
Licenses:CC-BY (version 4.0, generic)
Peer reviewed:Yes
Languages:English
OECD classification:-
Keywords:-