Skip to main content

Browse the archive

Revision 1e291193e648ecbfe22b45215e52b23ec94f1f4b authored by Pierre-Yves Strub on 28 April 2022, 14:25:12 UTC, committed by Pierre-Yves Strub on 28 April 2022, 14:25:12 UTC 
fix printing of type-classes names
1 parent 9f4d3bc
Raw File
AUTHORS 
The following people have contributed code and/or ideas to EasyCrypt:

Adrien Koutsos
Alley Stoughton
Asif Mallik
Benedikt Schmidt
Benjamin Gregoire
César Kunz
Christian Doczkal
Cécile Baritel-Ruet
Davide Ramaglietta
Davy Guillaume
François Dupressoir
Gilles Barthe
Guillermo Ramos
Juan Manuel Crespo
Kai-Chun Ning
Lavinia Damian
Martin Ceresa
Matthias Meijers
Mayram
Morten Solberg
Oskar Goldhahn
Pierre-Yves Strub
Roberto Metere
Santiago Zanella-Béguelin
Vincent Laporte
back to top