Change the repository type filter
All
Repositories list
74 repositories
stdlib-test
Publicvscoq-legacy
PublicLegacy Visual Studio Code extension for Coq [maintainers=@huynhtrankhanh,@thery,@Blaisorblade]trocq
PublicA modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]topology
PublicGeneral topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]- Maintaining plot history for coq-community/coq-performance-tests gh-pages branch [maintainer=@JasonGross]
- A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
- Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
- Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
coq-ext-lib
PublicA library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]paramcoq
PublicCoq plugin for parametricity [maintainer=@proux01]- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
math-classes
Publicaac-tactics
PublicCoq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
docker-coq
PublicDocker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]docker-base
Publiccoq-dpdgraph
Publiccoqeal
PublicThe Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]stalmarck
PublicCertified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]coq-tricks
Publicawesome-coq
Publiccomp-dec-modal
Publicgaia
PublicImplementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]fourcolor
Public- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]