Jumaruba / LPL-solutionsLinks
Solutions for the book "Language Proof and Logic".
☆75Updated 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:
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆286Updated 2 years ago
- Tree Proof Generator☆177Updated 3 weeks ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆375Updated 3 months ago
- UCalgary version of forallx, an introduction to formal logic☆117Updated last month
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆281Updated 4 years ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆396Updated this week
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- A Python package for automata theory.☆59Updated 2 years ago
- Learn Prolog Now LaTeX sources☆101Updated 3 years ago
- A formal logic framework that runs in the browser☆323Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 2 months ago
- Some simple examples for new Prolog programmers☆621Updated 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.☆61Updated 11 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆166Updated last year
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated 2 years ago
- Software Foundations☆151Updated last year
- ☆234Updated last year
- Useful things for Standard ML☆71Updated last year
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- Visual Studio Code extension for Coq☆432Updated last month
- The Principia Rewrite☆229Updated 2 months ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆75Updated 5 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆115Updated 2 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Updated 2 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- ☆94Updated 9 months ago
- RelaX - a relational algebra calculator☆312Updated this week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- Support repository for the functional programming lecture (Haskell)☆17Updated 6 months ago