aashishsatya / Automatic-Theorem-Prover
A Python program that tries to prove a statement given a set of propositions in first order logic.
☆10Updated 9 years ago
Alternatives and similar repositories for Automatic-Theorem-Prover:
Users that are interested in Automatic-Theorem-Prover are comparing it to the libraries listed below
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- ☆25Updated 2 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- ACT community resources☆21Updated 5 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆18Updated this week
- Implementation of generative semantic grammar.☆18Updated 2 years ago
- Experiments with Recurrent Neural Nets☆26Updated 10 years ago
- Program synthesis☆12Updated 8 years ago
- ☆13Updated 2 years ago
- Scripts for building and deploying ConceptNet, using Packer and Puppet☆10Updated 3 years ago
- An attempt to reimplement the 2013 paper by Wissner-Gross & Freer☆10Updated 3 months ago
- A compiler for BLOG probabilistic programming language☆25Updated 7 years ago
- Lambda Notebook: Formal Semantics in Jupyter☆27Updated last month
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- An environment for learning formal mathematical reasoning from scratch☆65Updated 7 months ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆30Updated last year
- ☆23Updated last month
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- ☆25Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- Notes from Stanford NLP class☆24Updated 12 years ago
- 🧮 Algebraic Positional Encodings.☆11Updated 2 months ago
- A free and open source C++ library for Discrete Approximate Inference in graphical models☆53Updated 12 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- An agent library for systems of nested automata.☆42Updated 7 years ago