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
- ☆15Apr 12, 2023Updated 3 years ago
- Algorithms for Mining Frequent Trees (in Tree Structured Datasets)☆10Mar 28, 2020Updated 6 years ago
- ☆27Nov 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆23Oct 30, 2019Updated 6 years ago
- Deep Learning for Question Answering☆21Jul 10, 2016Updated 9 years ago
- Download, Initialization, Tooling, and Chat Session Logic of Mistal AI's Mixtral8x7B "Mixtral of Experts" model in Google Colab☆17Jan 28, 2024Updated 2 years ago
- ☆25Apr 3, 2025Updated last year
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆25Apr 7, 2014Updated 12 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 9 months ago
- RoBERTa Marathi Language model trained from scratch during huggingface 🤗 x flax community week☆28Jul 18, 2021Updated 4 years ago
- Simple boilerplate with fastify, knex and graphql☆12Jan 11, 2023Updated 3 years ago
- Summaries of findings from Augurs audits☆11Jun 28, 2018Updated 7 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.
- 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
- Code for "Variational Autoencoder with Learned Latent Structure"☆35Mar 5, 2021Updated 5 years ago
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆44Apr 13, 2026Updated 2 months ago
- ☆12May 5, 2021Updated 5 years ago
- A package for fine-tuning Transformers with TPUs, written in Tensorflow2.0+☆37Mar 10, 2021Updated 5 years ago
- A Canvas-based pHash Implementation☆12Sep 8, 2024Updated last year
- Based on SciPy's normalized git stats, adapted for Deep Learning frameworks☆16Feb 15, 2017Updated 9 years ago
- Interactive notebook experiment☆19Jun 9, 2023Updated 3 years ago
- DEPRECATED. We are now using the askcos repositories for Chemhacktica and reverse synthesis.☆13Aug 31, 2024Updated last year
- 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.
- HomebrewNLP in JAX flavour for maintable TPU-Training☆51Jan 20, 2024Updated 2 years ago
- Cookiecutter template for making a cog for Red.☆12Jun 18, 2024Updated last year
- meteor + redux = trivia!☆10Dec 7, 2016Updated 9 years ago
- Translate words using Wikipedia data☆19Jan 7, 2023Updated 3 years ago
- Extract data from text files or log files using regular expressions☆16Feb 27, 2016Updated 10 years ago
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- Collection filter based on the aldeed:simple-schema structure. It outputs a Mongo Selector based on the chosen options from the UI. It is…☆11May 20, 2016Updated 10 years ago
- A companion list of tools for my commonplacing☆20Jun 6, 2026Updated last week
- The Meteor 1.4 For Everyone Tutorial Series Code☆11Sep 17, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This is a SHA-1 hash generator by JavaScript.☆12Jul 2, 2020Updated 5 years ago
- Tutorial to pretrain & fine-tune a 🤗 Flax T5 model on a TPUv3-8 with GCP☆58Jul 28, 2022Updated 3 years ago
- record your keypress counts into a database to track computer usage☆11Dec 25, 2025Updated 5 months ago
- ☆12Sep 25, 2024Updated last year
- The InvGears workbench for FreeCAD allows the creation of gear systems☆10Apr 25, 2025Updated last year
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- Cosmo - a simple IDE for building solidity contracts.☆12Jul 11, 2016Updated 9 years ago