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:
- ☆15Apr 12, 2023Updated 2 years ago
- Visual Bidirectional Kernelized Network for Visual Question Answering☆11Jul 17, 2017Updated 8 years ago
- Mizar Mathematical Library☆16Mar 17, 2012Updated 14 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆13Updated this week
- Baseline Python Scripts for Popular Kaggle Competitions☆17Aug 20, 2022Updated 3 years ago
- Scripts for downloading and pre-processing the `proof-pile`, a high quality dataset of mathematical text and code.☆22Nov 26, 2022Updated 3 years ago
- Open source virtual assistant brain. (Could be used to make a siri/alexa alternative)☆13Dec 8, 2022Updated 3 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19May 25, 2023Updated 2 years ago
- Machine learning course from Caltech☆20Mar 23, 2013Updated 13 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
- ☆42May 29, 2025Updated 9 months ago
- quick playground to animate pippin☆15Nov 11, 2024Updated last year
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 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
- R packaged for Alpine Linux☆10Dec 10, 2017Updated 8 years ago
- Co-attending Regions and Detections for VQA.☆40Jun 2, 2018Updated 7 years ago
- Guidelines for using Cython (documentation)☆11Mar 4, 2023Updated 3 years ago
- ☆12May 5, 2021Updated 4 years ago
- 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
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 10 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- HomebrewNLP in JAX flavour for maintable TPU-Training☆51Jan 20, 2024Updated 2 years ago
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Sep 19, 2023Updated 2 years ago
- Cookiecutter template for making a cog for Red.☆12Jun 18, 2024Updated last year
- 10 days 10 different practical applications of Deep Learning (primarily NLP) using Tensorflow and Keras☆31Apr 12, 2023Updated 2 years ago
- graspologic-native is a library of rust components to add additional capability to graspologic a python library for intelligently buildin…☆18Apr 2, 2025Updated 11 months ago
- 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
- Python and C++ library to process both experimental and simulation data of colloidal particles.☆15Sep 2, 2021Updated 4 years ago
- A companion list of tools for my commonplacing☆19Updated this week
- MOVΞ - A Decentralised Ride Sharing DApp☆12Jul 30, 2015Updated 10 years ago
- Get the IP adresses of Bittorrent Peers☆13Oct 14, 2016Updated 9 years ago
- Kanren with databases☆44Jul 30, 2024Updated last year
- Uses a Convolutional Neural Network to detect duplicate questions in the public Quora dataset.☆33Mar 22, 2017Updated 9 years ago
- Automate some common Turo work that I have to do manually☆11Aug 1, 2018Updated 7 years ago
- Streamify helps you easily provide a streaming interface for your code.☆52May 31, 2020Updated 5 years ago