issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
[stdlib]: iftrue / iffalse
#578
Closed
strub
closed
1 month ago
strub
commented
1 month ago
Very simple lemmas that allow to reduce if-expression.
Very simple lemmas that allow to reduce if-expression.