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.☆41Updated 2 months ago
- ☆10Updated 9 years ago
- ☆234Updated last year
- An automatic recursive function transformer.☆10Updated 2 years ago
- Software Foundations☆147Updated last year
- Visual Studio Code extension for Coq☆417Updated this week
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- ☆21Updated 7 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆534Updated 6 months ago
- PL conference deadline countdowns☆63Updated last week
- ☆23Updated last month
- Program synthesis class taught by Loris D'Antoni☆36Updated last month
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆25Updated 10 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆64Updated 2 years ago
- A compiler from TIP to llvm bitcode☆72Updated last year
- A Library for Representing Recursive and Impure Programs in Coq☆236Updated last week
- ☆64Updated 2 months ago
- Formal Reasoning About Programs☆712Updated last week
- Randomized Property-Based Testing Plugin for Coq☆276Updated this week
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Updated 2 weeks ago
- ☆23Updated 5 years ago
- The Ott tool for writing definitions of programming languages and calculi☆394Updated 10 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆355Updated last week
- The Vellvm (Verified LLVM) coq development.☆448Updated this week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 9 months ago
- HoTTEST Summer School materials☆317Updated 5 months ago
- Program Synthesis Course☆265Updated last year
- CS 704 course website - Principles of Programming Languages☆69Updated 3 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
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆483Updated last week