Jumaruba / LPL-solutionsLinks
Solutions for the book "Language Proof and Logic".
☆76Updated 11 months ago
Alternatives and similar repositories for LPL-solutions
Users that are interested in LPL-solutions are comparing it to the libraries listed below
Sorting:
- Solutions to OCaml Programming☆86Updated this week
- UCalgary version of forallx, an introduction to formal logic☆108Updated last month
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆264Updated 4 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 5 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last month
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆359Updated 7 months ago
- Tim Button's open textbook on set theory☆39Updated last month
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 4 years ago
- Software Foundations☆137Updated last year
- A Python package for automata theory.☆56Updated last year
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆384Updated 3 weeks ago
- Educational tool for relational algebra☆91Updated last year
- Tree Proof Generator☆169Updated 5 months ago
- Metamath program - source code for the Metamath executable☆82Updated 2 weeks ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆58Updated 5 years ago
- Source of metamath book☆49Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- 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
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- ☆27Updated 3 years ago
- The Principia Rewrite☆224Updated 6 months ago
- A port of Coq to Javascript -- Run Coq in your Browser☆7Updated last week
- My personal website☆97Updated this week
- The WIP book for CPSC 411☆65Updated last month
- Haskell MOOC University of Helsinki☆385Updated 3 months ago
- Language based on Rewriting Logic☆127Updated last week
- ☆233Updated last year
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 11 months ago