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:
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆275Updated 4 years ago
- UCalgary version of forallx, an introduction to formal logic☆114Updated 2 months ago
- Tree Proof Generator☆175Updated 8 months ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- Durée: the longest book ever written.☆66Updated 5 years ago
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- A tool for analyzing and transforming context-free grammars.☆227Updated 6 months ago
- ☆21Updated 4 years ago
- Software Foundations☆145Updated last year
- Tim Button's open textbook on set theory☆40Updated 4 months ago
- The best way to publish your scientific knowledge. Source code for the entire OurBigBook Project: OurBigBook.com, ourbigbook CLI and the …☆98Updated 3 weeks 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
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆391Updated this week
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆364Updated 2 weeks ago
- A place for automata☆79Updated last week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated 2 years ago
- Solutions to OCaml Programming☆90Updated last month
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 5 years ago
- Web page for IU Compiler Course for Fall 2020☆132Updated 4 years ago
- RelaX - a relational algebra calculator☆311Updated this week
- My personal website☆102Updated this week
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- Learn Prolog Now LaTeX sources☆98Updated 3 years ago
- Metamath source file for logic and set theory☆297Updated this week
- Code from CS152 lectures☆13Updated 6 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆63Updated 2 years ago
- Collaboration / Topic requests for SoME☆211Updated 2 years ago
- Multi platform setup for Coq, Coq libraries and tools☆215Updated 2 weeks ago