CoqCP
We combat sloppy arguments in competitive programming and raise the standard of rigor
AI summary
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
- stars
- 22
- forks
- 2
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Compiler project
A compiler project that aims to formalize and verify the semantics of an intermediate language using Coq
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Coq verifier
Formal verification of Python code using Coq
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
SAT solver
A verified SAT solver with proof capabilities
C verifier
A template project for verifying the correctness of C programs in Coq
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
