Jumaruba / LPL-solutions
Solutions for the book "Language Proof and Logic".
☆75Updated 7 months ago
Alternatives and similar repositories for LPL-solutions:
Users that are interested in LPL-solutions are comparing it to the libraries listed below
- An educational tool for analyzing the correctness of Fitch Proofs.☆9Updated last year
- Metamath program - source code for the Metamath executable☆81Updated 8 months ago
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- UCalgary version of forallx, an introduction to formal logic☆106Updated 3 months ago
- Tim Button's open textbook on set theory☆34Updated last year
- CMU Undergrad Course☆96Updated 2 years ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆379Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆59Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆159Updated last year
- Mathematical Components (the Book)☆140Updated last year
- Imperative programming☆14Updated 2 months ago
- RelaX - a relational algebra calculator☆301Updated last week
- Educational tool for relational algebra☆91Updated 11 months ago
- My mathematical Zettelkasten, created using forester.☆82Updated last week
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆292Updated last year
- Tree Proof Generator☆166Updated last month
- ☆27Updated 7 years ago
- A complete collection of my undergraduate notes☆34Updated 2 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆34Updated 2 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆62Updated 7 years ago
- modal logic library for LEAN theorem prover☆11Updated 7 years ago
- Source of metamath book☆48Updated last year
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated last month
- Categorical Logic Notes☆78Updated 3 years ago
- Logic and Mechanized Reasoning☆101Updated 2 months ago
- Port of Aleph to SWI-Prolog☆46Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆240Updated 4 months ago
- VSCode extension for Metamath☆10Updated last month
- Learn Prolog Now LaTeX sources☆86Updated 2 years ago
- Multi platform setup for Coq, Coq libraries and tools☆199Updated 2 weeks ago