Geeks
epfl-systemf
/
Warblre
A Coq Mechanization of ECMAScript 2023 Regexes
Primary Language
OCaml
Other
NOASSERTION
Warblre GitHub
Markdown
Readme
0
Issues
4
Stargazers
3
Watchers
Watchers
Aurele-Barriere
EPFL
cpitclaudel
EPFL
Ef55
University of Pennsylvania