pnp
by ilyasergey
Lecture notes for a short course on proving/programming in Coq via SSReflect.
AI summary
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
- stars
- 160
- forks
- 18
- watching
- 13
Similar projects
Found by comparing what the projects do, not just their names.
Coq IDE kernel
A Jupyter notebook kernel for interactive theorem proving with Coq
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Proof assistant library
Python bindings for Coq's interactive proof assistant
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Proof writer
Helps write formal proofs in a more readable format
Hypothesis manager
A Coq library providing tactics to manipulate hypotheses in formal proofs.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
