issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
321
stars
49
forks
source link
new vernacular: print axiom
#572
Closed
strub
closed
4 months ago