atungare / coq-software-foundationsLinks
☆19Updated 8 years ago
Alternatives and similar repositories for coq-software-foundations
Users that are interested in coq-software-foundations are comparing it to the libraries listed below
Sorting:
- My solutions to Software Foundations course in Coq proof assistant.☆43Updated 3 months ago
- ☆234Updated last year
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- ☆10Updated 9 years ago
- Visual Studio Code extension for Coq☆426Updated 2 weeks ago
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆25Updated 10 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- PL conference deadline countdowns☆63Updated 3 weeks ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 10 months ago
- Formal Reasoning About Programs☆714Updated 3 weeks ago
- ☆67Updated 3 months ago
- ☆25Updated 5 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 3 years ago
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆20Updated 11 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆310Updated last year
- A formalization of the textbook Elements of Set Theory☆60Updated 4 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆239Updated last month
- Randomized Property-Based Testing Plugin for Coq☆278Updated last week
- Program Synthesis Course☆264Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆371Updated last month
- ☆24Updated 2 months ago
- Verified Software Toolchain☆482Updated last week
- EPIT 2020 - Spring School on Homotopy Type Theory☆110Updated 4 years ago
- A function definition package for Coq☆234Updated last week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆65Updated 2 years ago
- A demo implementation of a simple dependently-typed language☆616Updated last year
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆234Updated 3 weeks ago
- Mirror of Software Foundations in PDF☆306Updated 5 years ago