search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306 stars 46 forks source link

make dapply a parsing-only abbreviation #574

Closed fdupress closed 1 month ago

fdupress commented 1 month ago

suitcases are scary, man