atungare / coq-software-foundations
☆19Updated 7 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
- ☆10Updated 8 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- My solutions to Software Foundations course in Coq proof assistant.☆33Updated 7 months ago
- PL conference deadline countdowns☆55Updated last week
- Randomized Property-Based Testing Plugin for Coq☆263Updated 2 weeks ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆225Updated 2 months ago
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆23Updated 9 years ago
- ☆227Updated 6 months ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- Program synthesis class taught by Loris D'Antoni☆27Updated 2 months ago
- ☆7Updated this week
- ☆24Updated 5 years ago
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆420Updated this week
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆117Updated last week
- Visual Studio Code extension for Coq☆362Updated this week
- A function definition package for Coq☆226Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆513Updated last week
- ☆11Updated 9 years ago
- Multi platform setup for Coq, Coq libraries and tools☆192Updated 2 weeks ago
- Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html☆9Updated 6 years ago
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- ☆40Updated 2 months ago
- Apron Numerical Abstract Domain Library☆121Updated last month
- A Library for Representing Recursive and Impure Programs in Coq☆212Updated 3 weeks ago
- Software Foundations☆119Updated 9 months ago