A Declarative Theorem Prover for First-Order Classical Logic
☆29Jun 14, 2024Updated last year
Alternatives and similar repositories for leanTAP
Users that are interested in leanTAP are comparing it to the libraries listed below
Sorting:
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- Prolog Technology Theorem Prover☆12Jun 19, 2024Updated last year
- A system for computational category theory and applications☆40Jun 27, 2016Updated 9 years ago
- A MiniKanren in Python☆36Jul 15, 2016Updated 9 years ago
- Concatenative relational interpreter in miniKanren☆22May 11, 2015Updated 10 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Feb 10, 2026Updated 2 weeks ago
- Forth Literate Programming with IPython notebook☆21Sep 28, 2013Updated 12 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 5 months ago
- ITESM project☆10Dec 5, 2016Updated 9 years ago
- Playing with Factor☆28May 6, 2021Updated 4 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- HackCambridge 2016, 2nd place in Games and VR - A Guitar Hero clone, written in Haskell☆21Jan 31, 2016Updated 10 years ago
- Logics is a Python framework for mathematical logic☆27May 8, 2025Updated 9 months ago
- ☆28May 19, 2022Updated 3 years ago
- computer-aided harmony and counterpoint☆43Dec 21, 2024Updated last year
- Lightweight, fast Virtual Machine for dynamic, object-oriented languages.☆42Dec 23, 2013Updated 12 years ago
- ☆36Jan 2, 2024Updated 2 years ago
- EyeServer is a server for the EYE reasoner.☆31Jan 7, 2023Updated 3 years ago
- Implementation of higher-order logic in Python☆67Feb 25, 2023Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Jan 5, 2024Updated 2 years ago
- purple: compiling a reflective language☆33Oct 14, 2024Updated last year
- explorations in core.logic☆118Jun 14, 2024Updated last year
- Some operator abuse☆29Oct 23, 2017Updated 8 years ago
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- The Twelf Programming Language☆151Jan 20, 2026Updated last month
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- An automated theorem prover for first-order logic.☆242Nov 25, 2021Updated 4 years ago
- Open Croquet for Squeak 5.x☆34Jan 31, 2021Updated 5 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 3 weeks ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 2 weeks ago
- Checker for "morally correct" induction proofs about haskell programs☆31Mar 9, 2022Updated 3 years ago
- A repository containing all of my custom keyboards for iOS☆14Jan 2, 2021Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆39Feb 12, 2026Updated 2 weeks ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Robots powered by Constructive Reals☆34Nov 3, 2017Updated 8 years ago