ariroffe / logicsLinks
Logics is a Python framework for mathematical logic
☆23Updated last month
Alternatives and similar repositories for logics
Users that are interested in logics are comparing it to the libraries listed below
Sorting:
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Language based on Rewriting Logic☆118Updated last week
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- ☆142Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆53Updated last year
- Python interface for SWI-Prolog☆49Updated last month
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- Python bindings for the Coq interactive proof assistant☆55Updated 3 years ago
- Some notes taken while working on Prolog☆185Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆144Updated 7 months ago
- Constraint Logic Programming over Integers☆201Updated last year
- ☆56Updated last month
- An automated theorem prover that uses Büchi automata.☆41Updated 3 years ago
- Implementation of the λΠ-calculus modulo rewriting☆209Updated last month
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 4 months ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago
- Hanoi Omega-Automata Format☆15Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 9 months ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆120Updated 3 months ago
- ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.☆47Updated last year
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Embeddable Lambda Prolog Interpreter☆312Updated last week
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Updated 6 months ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Updated 7 years ago