Jumaruba / LPL-solutions
Solutions for the book "Language Proof and Logic".
☆75Updated 6 months ago
Alternatives and similar repositories for LPL-solutions:
Users that are interested in LPL-solutions are comparing it to the libraries listed below
- UCalgary version of forallx, an introduction to formal logic☆101Updated last month
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- A Powerpoint CPU☆92Updated 4 years ago
- A computer algebra system for research in combinatorial game theory☆38Updated last year
- Metamath program - source code for the Metamath executable☆82Updated 7 months ago
- Solutions to OCaml Programming☆79Updated 6 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆342Updated 2 months ago
- A database app for ring theory☆21Updated 3 weeks ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆58Updated 11 months ago
- Python bindings for the Coq interactive proof assistant☆52Updated 3 years ago
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆43Updated 3 years ago
- Implementation of Gosper's hashlife algorithm☆38Updated 4 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2022☆20Updated 2 years ago
- ☆17Updated 2 years ago
- Contains python solutions for the British Informatics olympiad☆22Updated 8 months ago
- Tim Button's open textbook on set theory☆32Updated last year
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆16Updated 2 weeks ago
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆53Updated 7 years ago
- Lean 4 tutorial files☆35Updated 10 months ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Updated last year
- A gently curated list of companies using verification formal methods in industry☆516Updated 3 weeks ago
- Some papers on "Lambda Calculus"☆27Updated 4 months ago
- Prime numbers for Coq☆37Updated last month
- An introduction to theorem proving in Lean for the impatient.☆146Updated this week
- Pedagogical first-order prover in Python☆75Updated last week
- ☆34Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆213Updated 3 months ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆73Updated 4 years ago
- Algorithms Implemented in OCaml☆105Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆28Updated last year