EasyCrypt

https://github.com/easycrypt/easycrypt

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

Tokens:23,219
Snippets:195
Trust Score:8.5
License:MIT
Update:3 months ago
Tokens:
Raw