https://github.com/EasyCrypt/easycrypt
Revision 9c584d7a41e8c2ff99218ed6fc72c92f67aa6009 authored by Antoine Séré on 20 April 2022, 09:40:37 UTC, committed by Antoine Séré on 20 April 2022, 09:40:37 UTC
1 parent a98707d
Raw File
Tip revision: 9c584d7a41e8c2ff99218ed6fc72c92f67aa6009 authored by Antoine Séré on 20 April 2022, 09:40:37 UTC
Printing typeclasses partly done
Tip revision: 9c584d7
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