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:
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆388Updated 2 weeks ago
- Tim Button's open textbook on set theory☆39Updated 3 months ago
- RelaX - a relational algebra calculator☆308Updated last month
- UCalgary version of forallx, an introduction to formal logic☆111Updated last month
- My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…☆290Updated 2 years ago
- Software Foundations☆143Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆161Updated last year
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 5 years ago
- Tree Proof Generator☆173Updated 7 months ago
- Learn Prolog Now LaTeX sources☆89Updated 2 years ago
- Cross-platform IDE for Dyalog APL☆218Updated this week
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆57Updated 7 months ago
- Some simple examples for new Prolog programmers☆613Updated 2 years ago
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆360Updated last month
- Haskell MOOC University of Helsinki☆399Updated 2 weeks ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated last year
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆53Updated last year
- modal logic library for LEAN theorem prover☆12Updated 8 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- My personal website☆99Updated this week
- Writing Scheme in Haskell☆60Updated 5 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- ☆90Updated 5 months ago
- Metamath program - source code for the Metamath executable☆86Updated 2 months ago
- Some notes taken while working on Prolog☆189Updated last year