EduPH / concrete-semantics-SolsLinks
My solutions to concrete semantics
☆11Updated 8 years ago
Alternatives and similar repositories for concrete-semantics-Sols
Users that are interested in concrete-semantics-Sols are comparing it to the libraries listed below
Sorting:
- Communication between Coq and SAT/SMT solvers☆160Updated last year
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years 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
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆529Updated 4 months ago
- ☆23Updated 5 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆43Updated 4 years ago
- ☆233Updated last year
- PL conference deadline countdowns☆62Updated last month
- An automatic recursive function transformer.☆10Updated 2 years ago
- Formal Reasoning About Programs☆702Updated last week
- Randomized Property-Based Testing Plugin for Coq☆269Updated 2 weeks ago
- Modeling and Proving in Computational Type Theory☆115Updated last month
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆126Updated 7 months ago
- Apron Numerical Abstract Domain Library☆136Updated 6 months ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆16Updated last year
- PL/SE conference deadline countdowns☆19Updated 4 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Duet: static analysis for unbounded concurrency☆25Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 2 months ago
- Verified Software Toolchain☆471Updated this week
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 5 months ago
- The Ott tool for writing definitions of programming languages and calculi☆384Updated 8 months ago
- Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.☆20Updated 11 years ago
- Lecture material for DeepSpec Summer School 2017☆88Updated 4 years ago
- The Eldarica model checker☆92Updated last week
- A Coq IDE build on top of Proof General's Coq mode☆358Updated last month
- ☆139Updated 3 years ago
- Visual Studio Code extension for Coq☆407Updated 2 weeks ago
- A Library for Representing Recursive and Impure Programs in Coq☆232Updated this week