Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Repository Index
47,133 repositories indexed
25–48 of 72 · Most stars
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Convert Haskell source code to Coq source code.
- coq
- haskell
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
The Penn Locally Nameless Metatheory Library
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
The repository host gives no description.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Relation algebra library for Coq
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Library for Classical Coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Coq library on rewriting theory and termination
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem