issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
New vernacular command: eval
#566
Open
strub
opened
2 months ago
strub
commented
2 months ago
Target: evaluation of pWhile programs.
Target: evaluation of pWhile programs.