Relation algebra library for Coq
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
coinduction library for Coq
47,133 repositories indexed
1–3 of 3 · Most stars
Relation algebra library for Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
coinduction library for Coq