coq-lecture-notes
by anton-trunov
Coq Lecture Notes (WIP)
AI summary
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
- stars
- 50
- forks
- 10
- watching
- 12
Similar projects
Found by comparing what the projects do, not just their names.
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Proof assistant
Coq proof assistant book with exercises and examples
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Coq tips
A resource for discovering useful techniques and tricks in Coq
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
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 tutorial notes
Unstructured notes and resources concerning the Broad tutorial in Coq language
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
