GitHub topics: coq-platform
rocq-community/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Language: OCaml - Size: 598 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 31 - Forks: 22
rocq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Language: Coq - Size: 552 KB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 43 - Forks: 7
rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Language: Coq - Size: 2.88 MB - Last synced at: 17 days ago - Pushed at: 27 days ago - Stars: 166 - Forks: 43
rocq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Language: Coq - Size: 2.01 MB - Last synced at: 15 days ago - Pushed at: about 1 month ago - Stars: 70 - Forks: 17
rocq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Language: Coq - Size: 10.8 MB - Last synced at: 17 days ago - Pushed at: 4 months ago - Stars: 115 - Forks: 46
rocq-community/paramcoq
Old Coq plugin for parametricity [maintainer=@ppedrot]
Language: Coq - Size: 542 KB - Last synced at: 21 days ago - Pushed at: about 2 months ago - Stars: 45 - Forks: 25
rocq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Language: Coq - Size: 3.29 MB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 131 - Forks: 49
rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Language: Coq - Size: 373 KB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 89 - Forks: 30
rocq-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: 720 KB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 22 - Forks: 22