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:
- A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]☆362Updated 2 weeks ago
- UCalgary version of forallx, an introduction to formal logic☆111Updated 2 months ago
- Tim Button's open textbook on set theory☆39Updated 2 months ago
- Software Foundations☆141Updated last year
- Tree Proof Generator☆169Updated 6 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆92Updated 9 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- Basics of relational programming with Prolog —PROgramming in LOGic ^_^☆74Updated 4 years ago
- ☆22Updated 4 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Metamath source file for logic and set theory☆291Updated this week
- Haskell MOOC University of Helsinki☆391Updated 3 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 6 months ago
- Metamath program - source code for the Metamath executable☆84Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated 11 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Support repository for the functional programming lecture (Haskell)☆16Updated last month
- ☆233Updated last year
- Source of metamath book☆49Updated last year
- A gently curated list of companies using verification formal methods in industry☆566Updated 6 months ago
- The Principia Rewrite☆224Updated 7 months ago
- Multi platform setup for Coq, Coq libraries and tools☆208Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆286Updated 8 months ago
- A formal logic framework that runs in the browser☆299Updated 8 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Visual Studio Code extension for Coq☆406Updated 3 weeks ago
- Logic and Mechanized Reasoning☆105Updated last month
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆268Updated 4 years ago