coqprime
by thery
Prime numbers for Coq
AI summary
Prime number verifier
A proof assistant library for prime number certification using elliptic curves and Pocklington certificates
- stars
- 37
- forks
- 18
- watching
- 3
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq verifier
Formal verification of Python code using Coq
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Proof assistant library
Python bindings for Coq's interactive proof assistant
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Program verifier
Automated verification of higher-order programs using separation logic
Polyhedron library
Formalizes convex polyhedra in Coq using optimization and theorem-proving techniques.
Rubik solver
Solves the mini Rubik 2x2 using theorem-proving in Coq
Type relationship finder
Automatically discovers and proves relationships between types in Coq to simplify proof development and code reuse.
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coqprime.
