search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
321 stars 49 forks source link

[refactoring]: split parser into multiple components #558

Open strub opened 5 months ago

strub commented 5 months ago

This will make the parser easier to crawl & clean.