issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
simplify representation of memory restriction
#569
Closed
bgregoir
closed
2 months ago