coq-course
by vlopezj
Coq course at Chalmers CSE
AI summary
Coq course
A self-reading Coq course for PhD students covering fundamental topics in functional programming and formal verification.
- stars
- 38
- forks
- 10
- watching
- 14
Similar projects
Found by comparing what the projects do, not just their names.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Coq IDE
A tool for interactive theorem proving and language support in Coq
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Logical Deduction Library
Formalizations of logical deduction systems using Coq
Math proof tutor
A tutorial project on using Coq to mechanize mathematics with dependent types
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 tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Program logic textbook
Companion Coq development for teaching program logics
Graph algorithm formalization
Formalization of Tarjan and Kosaraju's strongly connected component algorithm in Coq for finite graphs.
