 |
Credits
Site design
Episciences, CCSD
Project coordination
Raphaël Tournoy, Episciences, CCSD
Site management
Céline Barthonnat, Episciences, CCSD
Rob J. Lewis, Brown University
Filippo A. E. Nuccio Mortarino Majno di Capriglio, Université Jean Monnet Saint-Étienne
Ariane Rolland, Institut Fourier, CNRS
Developments
Julien Charles, Episciences (OpenAIRE Nexus), CCSD
Djamel Chibane, Episciences, CCSD
Graphic chart
Marcel McVay, logo design
The logo of the Annals of Formalized Mathematics is licensed under a CC BY-SA 4.0 licence
Hervé Violante, LaTeX class
Our titles are in Disket Mono font, which is made from Web Fonts and is licensed under a CC BY 4.0 licence