marshall-lee / software_foundationsLinks
My solutions to Software Foundations course in Coq proof assistant.
☆38Updated last week
Alternatives and similar repositories for software_foundations
Users that are interested in software_foundations are comparing it to the libraries listed below
Sorting:
- ☆19Updated last week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆184Updated last week
- ☆53Updated this week
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Coq code formatter☆24Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆42Updated 4 years ago
- PL conference deadline countdowns☆61Updated 3 weeks ago
- Modeling and Proving in Computational Type Theory☆102Updated last week
- ☆43Updated last week
- ☆23Updated 5 years ago
- Software Foundations☆137Updated last year
- Visual Studio Code extension for Coq☆401Updated 2 weeks ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆123Updated 5 months ago
- ☆13Updated last year
- Multi platform setup for Coq, Coq libraries and tools☆207Updated last month
- ☆27Updated last year
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- An automated deductive program verifier based on concurrent separation logic☆20Updated 3 weeks ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆112Updated last week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Experiments on automation for Lean☆126Updated this week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆64Updated last week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆215Updated last month
- A cyclic theorem prover framework.☆32Updated this week
- Most influential papers in programming languages☆57Updated 6 months ago
- A mechanisation of Wasm in Coq(Rocq)☆107Updated last month
- A Lean4 plugin for the Intellij Platform☆14Updated last week
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆122Updated 3 weeks ago
- Communication between Coq and SAT/SMT solvers☆160Updated 10 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆43Updated this week