broad-coq-tutorial
Coq tutorial notes
Unstructured notes and resources concerning the Broad tutorial in Coq language
Some unstructured notes concerning the Broad tutorial to take place in March 2020
31 stars
6 watching
6 forks
Language: Coq
last commit: over 3 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 507 |
 anton-trunov/coq-lecture-notes | Lecture notes and resources for learning the Coq proof assistant | 50 |
 math-comp/tutorial_material | Tutorials and materials for teaching Coq-based mathematical component development | 17 |
| coq-community/coq-ext-lib | A collection of reusable Coq definitions and theorems for building software development tools | 129 |
 pedrotst/coquedille | Translates Coq terms into Cedille terms for a specific domain-specific language | 33 |
 charguer/tlc | A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems. | 38 |
| codyroux/name-the-biggest-number | A platform for submitting and comparing large numbers defined in the Coq specification system | 63 |
 tchajed/ltac2-tutorial | A tutorial on Ltac2 tactics language for Coq proof scripting | 43 |
 vlopezj/coq-course | A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification. | 38 |
 xavierleroy/cdf-program-logics | Companion Coq development for teaching program logics | 40 |
| coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 46 |
 jscoq/jscoq | An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser. | 518 |
 jasongross/coq-scripts | Tools for managing and automating Coq file workflow | 8 |
| coq-community/parseque | A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq. | 42 |
| coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |