reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
42 stars
8 watching
7 forks
Language: Coq
last commit: 3 months ago
Linked from 2 awesome lists
coqcoq-nix-toolboxcoq-platformdocker-coq-actionmathcompmathcomp-ciregexpregular-languagesssreflect
uhub/awesome-coq