Skip to main content

Browse the archive

Revision 865a78bff564d7a1b1c27037a724abc4ea9d50da authored by François Dupressoir on 12 April 2022, 11:34:15 UTC, committed by François Dupressoir on 12 April 2022, 11:34:15 UTC 
generate goals that work when argument/result types are different
1 parent 85b0b5e
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