ml@gentoo.org ML 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