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☆40Updated 5 months ago
- ☆21Updated 4 years ago
- UCalgary version of forallx, an introduction to formal logic☆115Updated 3 months ago
- Tree Proof Generator☆175Updated 9 months ago
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆289Updated 2 years ago
- CS61 lecture material☆100Updated last week
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆164Updated last year
- P.D. Magnus' forallx logic textbook☆68Updated 8 months ago
- ☆27Updated 3 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 2 weeks ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆279Updated 4 years ago
- Lambda calculus interpreter written in TypeScript☆38Updated last month
- Numerical answers to all Project Euler problems☆354Updated 3 weeks ago
- Software Foundations☆149Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 9 months ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆369Updated last month
- RelaX - a relational algebra calculator☆312Updated 3 weeks ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 5 years ago
- Structure and Interpretation of Computer Programs (Python) ebook version☆72Updated 4 years ago
- Metamath source file for logic and set theory☆299Updated this week
- The Principia Rewrite☆229Updated 2 weeks ago
- Educational tool for relational algebra☆92Updated last year
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆147Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆319Updated last year
- A formal logic framework that runs in the browser☆310Updated 11 months ago
- Support repository for the functional programming lecture (Haskell)☆17Updated 4 months ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 5 years ago
- My personal website☆103Updated last week
- Metamath program - source code for the Metamath executable☆89Updated last week
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago