docker-coq-action
There are 22 repositories under docker-coq-action topic.
ProofGeneral/PG
This repo is the new home of Proof General
coq-community/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
coq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
coq-community/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq-community/paramcoq
Coq plugin for parametricity [maintainer=@proux01]
coq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
coq-community/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
coq-community/graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
coq-community/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
coq-community/goedel
Archived since the contents have been moved to the Hydras & Co. repository
coq-community/gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
coq-community/bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
coq-community/huffman
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
coq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
coq-community/qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
coq-community/regexp-Brzozowski
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
coq-community/buchberger
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
coq-community/coq-mmaps
Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
coq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
coq-community/pocklington
Pocklington's criterion for primality in Coq [maintainer=@Casteran]
coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]