search

EasyCrypt / easycrypt

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

pretty-printer/parser: improve reparsability of the pretty-printer output #622

Closed strub closed 2 months ago

strub commented 2 months ago

Fix #181 (but for the last point: see #621)