Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
47,133 repositories indexed
1–4 of 4 · Most stars
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Graph Theory [maintainers=@chdoc,@damien-pous]
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Docker images of coq-mathcomp [maintainer=?]