marshall-lee / software_foundations
My solutions to Software Foundations course in Coq proof assistant.
☆33Updated 6 months ago
Alternatives and similar repositories for software_foundations:
Users that are interested in software_foundations are comparing it to the libraries listed below
- PL conference deadline countdowns☆53Updated 2 months ago
- Modeling and Proving in Computational Type Theory☆84Updated 6 months ago
- ☆32Updated last month
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 9 months ago
- ☆24Updated 5 years ago
- ☆13Updated 3 weeks ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated last month
- ☆13Updated 5 months ago
- Solver for Constrained Horn Clauses☆35Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Separation Logic Proofs in Lean☆28Updated last month
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated 3 months ago
- A mechanisation of Wasm in Coq☆101Updated 2 months ago
- Coq plugin embedding elpi☆141Updated this week
- Coq code formatter☆22Updated this week
- Ltac2 tutorial☆43Updated 2 years ago
- Visual Studio Code Extension and Language Server Protocol for Coq☆155Updated this week
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆33Updated last week
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆115Updated 5 months ago
- Multi platform setup for Coq, Coq libraries and tools☆191Updated this week
- Logic and Mechanized Reasoning☆93Updated last week
- ☆25Updated 10 months ago
- Lean4 Logic Formalization☆89Updated 2 weeks ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆69Updated 11 months ago
- Communication between Coq and SAT/SMT solvers☆157Updated 4 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Visual Studio Code extension for Coq☆354Updated this week