neshkeev / Logical-FoundationsLinks
Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html
☆9Updated 6 years ago
Alternatives and similar repositories for Logical-Foundations
Users that are interested in Logical-Foundations are comparing it to the libraries listed below
Sorting:
- ☆10Updated 8 years ago
- PL conference deadline countdowns☆60Updated this week
- Ltac2 tutorial☆45Updated 2 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆22Updated 2 weeks ago
- Visual Studio Code extension for Coq☆395Updated last week
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆123Updated 5 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆178Updated this week
- ☆18Updated 3 months 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
- ☆11Updated last week
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆24Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆265Updated 2 weeks ago
- ☆23Updated 5 years ago
- Formal verification for OCaml☆265Updated 11 months ago
- ☆52Updated 7 months ago
- Official repository of the Autosubst 2 project.☆23Updated 2 years ago
- Randomized Property-Based Testing Plugin for Coq☆266Updated 2 weeks ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated 11 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆147Updated 9 months ago
- Multi platform setup for Coq, Coq libraries and tools☆205Updated last week
- Selected Papers of Dana S. Scott☆162Updated last year
- ☆27Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- Library to create Coq record update functions☆48Updated last week
- Communication between Coq and SAT/SMT solvers☆161Updated 10 months ago
- A "implementation" of Girard's paradox in OCaml☆109Updated 10 years ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- ☆256Updated 4 months ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆108Updated 3 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆341Updated last week