Typed Regular Expressions
- regex
- types
- gadt
- ocaml
Repository Index
73,362 visible repositories in the index
1–2 of 2 · Most stars
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
73,362 visible repositories in the index
1–2 of 2 · Most stars
Typed Regular Expressions
Python bindings for the Coq interactive proof assistant