broad-coq-tutorial
by codyroux
Some unstructured notes concerning the Broad tutorial to take place in March 2020
AI summary
Coq tutorial notes
Unstructured notes and resources concerning the Broad tutorial in Coq language
- stars
- 31
- forks
- 6
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Coq tips
A resource for discovering useful techniques and tricks in Coq
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Compiler
Translates Coq terms into Cedille terms for a specific domain-specific language
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Number comparison platform
A platform for submitting and comparing large numbers defined in the Coq specification system
Ltac2 tutorial
A tutorial on Ltac2 tactics language for Coq proof scripting
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
Program logic textbook
Companion Coq development for teaching program logics
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
jscoq/jscoq518
Coq IDE
An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.
Coq project scripts
Tools for managing and automating Coq file workflow
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
