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: almost 6 years agoRelated 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 | 114 |
 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. | 21 |
| coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 507 |
| math-comp/analysis | A Coq proof-assistant library for real analysis and mathematical structures | 210 |
 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 | 388 |
 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. | 57 |
 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 | 42 |
 stepchowfun/proofs | A personal repository of formally verified mathematics using the Coq proof assistant | 292 |
 coq/vscoq | An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant | 349 |