Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: coq-ci
coq-community/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Language: OCaml - Size: 683 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 29 - Forks: 21
coq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Language: Coq - Size: 2.95 MB - Last synced: 17 days ago - Pushed: 19 days ago - Stars: 124 - Forks: 45
coq-community/paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Language: Coq - Size: 512 KB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 44 - Forks: 22
coq-community/fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Language: Coq - Size: 640 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 150 - Forks: 19
coq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Language: Coq - Size: 2.85 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 158 - Forks: 42
coq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Language: Coq - Size: 341 KB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 84 - Forks: 28
coq-community/atbr
Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]
Language: Coq - Size: 1.63 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 22 - Forks: 5
coq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Language: Coq - Size: 10.7 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 108 - Forks: 43
coq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Language: Coq - Size: 892 KB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 48 - Forks: 12
coq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Language: Coq - Size: 1.85 MB - Last synced: 20 days ago - Pushed: 2 months ago - Stars: 64 - Forks: 15
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]
Language: Coq - Size: 796 KB - Last synced: 20 days ago - Pushed: about 2 months ago - Stars: 22 - Forks: 21
coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
Language: Coq - Size: 368 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 1 - Forks: 3
coq-community/reduction-effects
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Language: Makefile - Size: 60.5 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 6 - Forks: 6