verified-parser-example
A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
20 stars
2 watching
1 forks
Language: Coq
last commit: over 9 years ago A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.