Jumaruba / LPL-solutionsLinks
Solutions for the book "Language Proof and Logic".
☆76Updated last year
Alternatives and similar repositories for LPL-solutions
Users that are interested in LPL-solutions are comparing it to the libraries listed below
Sorting:
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- Tree Proof Generator☆171Updated 6 months ago
- Solutions to OCaml Programming☆89Updated last month
- UCalgary version of forallx, an introduction to formal logic☆111Updated 3 weeks ago
- Multi platform setup for Coq, Coq libraries and tools☆210Updated last week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 10 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆299Updated 9 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- Logic and Mechanized Reasoning☆105Updated 2 months ago
- Software Foundations☆142Updated last year
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated last month
- Metamath source file for logic and set theory☆294Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- RelaX - a relational algebra calculator☆307Updated last month
- A collection of tools for writing technical documents that mix Coq code and prose.☆268Updated last week
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆291Updated 2 years ago
- Metamath program - source code for the Metamath executable☆85Updated last month
- A formal logic framework that runs in the browser☆302Updated 9 months ago
- ☆88Updated 5 months ago
- Support repository for the functional programming lecture (Haskell)☆17Updated last month
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 3 weeks ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- Source code for the Mathematics in Lean tutorial.☆168Updated last month
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆111Updated last year
- ☆160Updated 10 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- Visual Studio Code extension for Coq☆408Updated last week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago