search

Lysxia / coq-ceres

Coq library for serialization to S-expressions
MIT License
18 stars 1 forks source link

Parser proof of correctness (soundness) #22

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

"If the parser succeeds, then the input satisfies the grammar."