Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
☆17Oct 23, 2012Updated 13 years ago
Alternatives and similar repositories for handbook-of-practical-logic-and-automated-reasoning
Users that are interested in handbook-of-practical-logic-and-automated-reasoning are comparing it to the libraries listed below
Sorting:
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- A 2-D programming language inspired by Hexagony☆25Updated this week
- Exploring the Klein Quartic's geometry.☆28Dec 12, 2023Updated 2 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 2 months ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 6 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- A collection of additional language phonology settings for use with VulgarLang.☆13Aug 19, 2022Updated 3 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Homotopy type theory cheatsheets to read the HoTT Book☆12Jul 27, 2019Updated 6 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- an animated Mayan Calendar☆12Jan 12, 2014Updated 12 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 10 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated last year
- Implementation of Tree esoteric programming language☆10Mar 3, 2023Updated 3 years ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- a steady descent into madness☆17Jun 22, 2025Updated 8 months ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆11Jan 18, 2021Updated 5 years ago
- ☆11Mar 3, 2021Updated 5 years ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated last year
- Reverse Engineering Environment for Retro-Programming☆11Oct 29, 2025Updated 4 months ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Photos of U.S. congressional representatives and scrapers used to collect them.☆14Jan 30, 2026Updated last month
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- GnuRadio PPM (Differential Pulse Position Modulation/Demodulation) plugin☆12Mar 27, 2020Updated 5 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago