 |
Credits
Site design
Episciences, CCSD
Project coordination
Episciences, CCSD
Site management
Rob J. Lewis, Brown University
Filippo A. E. Nuccio Mortarino Majno di Capriglio, Université Jean Monnet Saint-Étienne
Ariane Rolland, Institut Fourier, CNRS
Developments
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 and Zelda Czayka, 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
