coq-tricks in coq-community/awesome-coq
Tricks you wish the Coq manual told you [maintainer=@tchajed]
updated at Nov. 16, 2024, 3:11 p.m.
coq-nix-toolbox in coq-community/awesome-coq
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
updated at Nov. 15, 2024, 9:48 p.m.
fourcolor in coq-community/awesome-coq
Formal proof of the Four Color Theorem [maintainer=@ybertot]
updated at Nov. 15, 2024, 10:22 a.m.
fav-ssr in coq-community/awesome-coq
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
updated at Nov. 14, 2024, 4:22 p.m.
lemma-overloading in coq-community/awesome-coq
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
updated at Nov. 13, 2024, 3:27 p.m.
coq-dpdgraph in coq-community/awesome-coq
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
updated at Nov. 13, 2024, 2:20 p.m.
corn in coq-community/awesome-coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
updated at Nov. 13, 2024, 8:52 a.m.
awesome-coq (122) in sindresorhus/awesome
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
updated at Nov. 9, 2024, 2:39 p.m.
Unknown languages
coq-100-theorems in coq-community/awesome-coq
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
updated at Nov. 8, 2024, 6:44 p.m.
math-classes in coq-community/awesome-coq
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
updated at Nov. 5, 2024, 8:14 p.m.
reglang in coq-community/awesome-coq
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
updated at Nov. 4, 2024, 11:59 p.m.
graph-theory in coq-community/awesome-coq
Graph Theory [maintainers=@chdoc,@damien-pous]
updated at Nov. 3, 2024, 2:38 p.m.
coq-ext-lib in coq-community/awesome-coq
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
updated at Oct. 30, 2024, 8:04 a.m.
hydra-battles in coq-community/awesome-coq
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
updated at Oct. 27, 2024, 5:30 a.m.
coqeal in coq-community/awesome-coq
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
updated at Oct. 25, 2024, 2:15 p.m.
templates in coq-community/awesome-coq
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
updated at Oct. 21, 2024, 9:34 a.m.
coq-art in coq-community/awesome-coq
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
updated at Oct. 12, 2024, 4:04 a.m.
sudoku in coq-community/awesome-coq
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
updated at Oct. 11, 2024, 5:50 a.m.
gaia in coq-community/awesome-coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
updated at Sept. 18, 2024, 8:04 p.m.
paramcoq in coq-community/awesome-coq
Coq plugin for parametricity [maintainer=@proux01]
updated at Sept. 17, 2024, 11:27 a.m.