ml@gentoo.org ML sci-mathematics@gentoo.org Gentoo Mathematics Project EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of game-based cryptographic proofs. https://github.com/EasyCrypt/easycrypt/issues/ EasyCrypt/easycrypt