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:
- multi-logic proof generator☆11Apr 13, 2026Updated 3 weeks ago
- Orthogonal Multipole Magnetic Basis Vectors - Complete orthogonal vector basis with accurate field-line mapping of electric fields and io…☆12Apr 7, 2025Updated last year
- Simple Python script to accept cryptocurrencies payment for website owner☆13Oct 1, 2020Updated 5 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Set of scripts to automate the calculation of crystal lattice energies.☆14Oct 17, 2024Updated last year
- Package for analysing functional near-infrared spectroscopy (fNIRS) data☆16Apr 14, 2018Updated 8 years ago
- A workbench for data analysis and modeling☆24Apr 7, 2026Updated 3 weeks ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Mar 19, 2026Updated last month
- lustering in Machine Learning Introduction to Clustering It is basically a type of unsupervised learning method . An unsupervised learni…☆29May 28, 2024Updated last year
- reinforce learing☆11Jul 29, 2018Updated 7 years ago
- Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"☆19May 25, 2023Updated 2 years ago
- The Electromagnetic Field web site☆47Apr 27, 2026Updated last week
- a tool for creating Molecular Dynamics-ready models of polymeric systems☆24Feb 25, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26Nov 1, 2021Updated 4 years ago
- ☆23Oct 30, 2019Updated 6 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A PyMOL plugin for visualizing vibrations in molecules and solids☆44Oct 8, 2025Updated 6 months ago
- Exploration of various deep neural networks for Question Answering and Reading Comprehension☆21Jan 22, 2017Updated 9 years ago
- Standalone pre-training recipe with JAX+Flax☆35Apr 3, 2023Updated 3 years ago
- Python based Deep CNN Q-Learner for FOREX☆26Oct 29, 2015Updated 10 years ago
- A recursive descent parser☆15Mar 21, 2017Updated 9 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 8 months 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.
- Official code for "In Search of Robust Measures of Generalization" (NeurIPS 2020)☆28Dec 22, 2020Updated 5 years ago
- A Scala library for controlling/interacting with Isabelle☆43Mar 9, 2026Updated last month
- 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
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆43Apr 13, 2026Updated 3 weeks ago
- Abstractive and Extractive Deep Learning Methods for Text Summarisation☆32Jun 27, 2018Updated 7 years ago
- A Canvas-based pHash Implementation☆12Sep 8, 2024Updated last year
- benchmark utility powered by hdr histograms, for node☆14Dec 16, 2016Updated 9 years ago
- Based on SciPy's normalized git stats, adapted for Deep Learning frameworks☆16Feb 15, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Interactive notebook experiment☆19Jun 9, 2023Updated 2 years ago
- quick playground to animate pippin☆16Nov 11, 2024Updated last year
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 10 years ago
- ☆12Sep 25, 2015Updated 10 years ago
- An Infr app that helps you replay & talk to everything you've ever seen.☆15Sep 19, 2023Updated 2 years ago
- HomebrewNLP in JAX flavour for maintable TPU-Training☆51Jan 20, 2024Updated 2 years ago
- meteor + redux = trivia!☆10Dec 7, 2016Updated 9 years ago