coq-lecture-notes
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
Coq Lecture Notes (WIP)
50 stars
12 watching
10 forks
Language: Coq
last commit: about 4 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 math-comp/tutorial_material | Tutorials and materials for teaching Coq-based mathematical component development | 17 |
 coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
 mgrabovsky/fm-notes | A collection of notes and resources on formal methods, type theory, and theorem proving using Coq. | 20 |
| coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 503 |
| math-comp/analysis | A comprehensive Coq proof-assistant library for mathematical analysis | 206 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 princeton-vl/coqgym | A learning environment for theorem proving with the Coq proof assistant | 384 |
 codyroux/broad-coq-tutorial | Unstructured notes and resources concerning the Broad tutorial in Coq language | 31 |
| coq-community/coq-100-theorems | Repository tracking famous theorems proved using proof assistants. | 55 |
 vlopezj/coq-course | A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification. | 38 |
 mit-plv/coqutil | A collection of reusable tools and utilities for working with the Coq proof assistant | 41 |
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 291 |
 coq/vscoq | A Visual Studio Code extension for Coq proof assistant support | 343 |