EasyCrypt

https://github.com/easycrypt/easycrypt

EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations,...

Tokens:22,949
Snippets:255
Trust Score:8.5
License:MIT
Update:2 months ago
Tokens:
Raw