A Python program that tries to prove a statement given a set of propositions in first order logic.
☆10Jul 13, 2015Updated 10 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- playing with gpt4☆14Mar 17, 2023Updated 3 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- Algorithms for Mining Frequent Trees (in Tree Structured Datasets)☆10Mar 28, 2020Updated 6 years ago
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Mar 19, 2026Updated 3 weeks ago
- reinforce learing☆11Jul 29, 2018Updated 7 years ago
- Open source virtual assistant brain. (Could be used to make a siri/alexa alternative)☆13Dec 8, 2022Updated 3 years ago
- ☆26Nov 1, 2021Updated 4 years ago
- KMD is a collection of conversational exchanges between patients and doctors on various medical topics. It aims to capture the intricaci…☆24Nov 15, 2023Updated 2 years ago
- ☆23Oct 30, 2019Updated 6 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- Exploration of various deep neural networks for Question Answering and Reading Comprehension☆21Jan 22, 2017Updated 9 years ago
- ☆24Apr 3, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 7 months ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- quick playground to animate pippin☆15Nov 11, 2024Updated last year
- ☆12Jan 25, 2022Updated 4 years ago
- 'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.☆21Dec 3, 2024Updated last year
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- OnionSprout is a tool to run publicaly-accessible web services, for example from Raspberry Pi in your home, without a public IP.☆11Oct 3, 2020Updated 5 years ago
- 🏠 Programmatically create Ninja build-system files☆18Jan 12, 2022Updated 4 years ago
- Code for "Variational Autoencoder with Learned Latent Structure"☆34Mar 5, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆41Updated this week
- Co-attending Regions and Detections for VQA.☆40Jun 2, 2018Updated 7 years ago
- Classical CHAT80 NLP system for Prolog☆25Feb 27, 2025Updated last year
- Guidelines for using Cython (documentation)☆11Mar 4, 2023Updated 3 years ago
- ☆45Sep 21, 2024Updated last year
- ☆12May 5, 2021Updated 4 years ago
- A Canvas-based pHash Implementation☆12Sep 8, 2024Updated last year
- Abstractive and Extractive Deep Learning Methods for Text Summarisation☆32Jun 27, 2018Updated 7 years ago
- benchmark utility powered by hdr histograms, for node☆14Dec 16, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 10 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- graspologic-native is a library of rust components to add additional capability to graspologic a python library for intelligently buildin…☆19Apr 2, 2025Updated last year
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- Translate words using Wikipedia data☆18Jan 7, 2023Updated 3 years ago
- Extract data from text files or log files using regular expressions☆16Feb 27, 2016Updated 10 years ago
- Extract streaming data from text using prefix completion.☆10Oct 6, 2024Updated last year