issues
search
EasyCrypt
/
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306
stars
46
forks
source link
Change `axiom eq_choice` to lemma
#543
Closed
ethanlee515
closed
3 months ago
ethanlee515
commented
4 months ago
Remove an extraneous
axiom
by filling in the proof.
Remove an extraneous
axiom
by filling in the proof.