The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
-
Updated
Dec 15, 2024 - Coq
#
mathcomp-ci
Here are 5 public repositories matching this topic...
regexp coq regular-languages ssreflect mathcomp docker-coq-action coq-nix-toolbox coq-platform mathcomp-ci
-
Updated
Jul 22, 2024 - Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
-
Updated
Nov 30, 2024 - Coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
-
Updated
Aug 11, 2024 - Coq
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
-
Updated
Aug 6, 2023 - Coq
Improve this page
Add a description, image, and links to the mathcomp-ci topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mathcomp-ci topic, visit your repo's landing page and select "manage topics."