CoqCP
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
We combat sloppy arguments in competitive programming and raise the standard of rigor
22 stars
2 watching
2 forks
Language: Coq
last commit: 7 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 291 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 442 |
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
 coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
| coq-community/reglang | Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
| coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 68 |
 cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 354 |
 sigurdschneider/lvc | A compiler project that aims to formalize and verify the semantics of an intermediate language using Coq | 57 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 384 |
 formal-land/coq-of-python | Formal verification of Python code using Coq | 30 |
| cpitclaudel/alectryon | Tools for processing Coq code and prose in technical documents | 236 |
 acorrenson/saturne | A verified SAT solver with proof capabilities | 28 |
| coq-community/coq-program-verification-template | A template project for verifying the correctness of C programs in Coq | 29 |
| coq-community/fav-ssr | A comprehensive library of verified data structures and algorithms in Coq | 45 |