docker-coq-action
Here are 19 public repositories matching this topic...
-
Updated
Mar 27, 2025 - Coq
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
-
Updated
Jan 22, 2025 - Coq
Old Coq plugin for parametricity [maintainer=@ppedrot]
-
Updated
Apr 18, 2025 - Coq
-
Updated
Apr 23, 2025 - Coq
Graph Theory [maintainers=@chdoc,@damien-pous]
-
Updated
Apr 30, 2025 - Coq
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
-
Updated
Dec 30, 2023 - Coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
-
Updated
May 2, 2025 - Coq
Archived since the contents have been moved to the Hydras & Co. repository
-
Updated
Oct 23, 2022 - Coq
Binary rational numbers in Coq [maintainer=@herbelin]
-
Updated
Dec 30, 2023 - Coq
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
-
Updated
Dec 30, 2023 - Coq
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
-
Updated
Jul 22, 2024 - Coq
-
Updated
Jun 30, 2024 - Coq
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
-
Updated
Dec 30, 2023 - Coq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
-
Updated
Dec 30, 2023 - Coq
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
-
Updated
Dec 30, 2023 - Coq
Pocklington's criterion for primality in Coq [maintainer=@Casteran]
-
Updated
Jun 30, 2022 - Coq
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
-
Updated
Aug 13, 2024 - Coq
Improve this page
Add a description, image, and links to the docker-coq-action topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the docker-coq-action topic, visit your repo's landing page and select "manage topics."