A Python program that tries to prove a statement given a set of propositions in first order logic.
☆10Jul 13, 2015Updated 11 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:
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- A basic Android application to read serial input from an Arduino that is connected over USB (via a USB on-the-go cable on Android 3.1+).☆14Apr 24, 2013Updated 13 years ago
- multi-logic proof generator☆12Apr 13, 2026Updated 3 months ago
- A project to learn about Clean Architecture☆11Jan 4, 2022Updated 4 years ago
- An end to end encrypted iOS messaging app built with Firebase and React Native☆10Nov 29, 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.
- Terminal widget for XWT with VT100 support☆15Jul 8, 2026Updated 2 weeks ago
- ☆10Oct 25, 2019Updated 6 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- Simple Python script to accept cryptocurrencies payment for website owner☆12Oct 1, 2020Updated 5 years ago
- Simulation of static and dynamic deformation of Kirchhoff rods with the FEniCS platform.☆15Nov 15, 2020Updated 5 years ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years 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
- Python library for scientific computing☆18Oct 30, 2019Updated 6 years ago
- Set of scripts to automate the calculation of crystal lattice energies.☆14Oct 17, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- generic editor widget for classes/structs (C++17)☆25Nov 27, 2017Updated 8 years ago
- sample django login app☆11Apr 14, 2015Updated 11 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- Vector clock implementation for distributed systems, in Rust☆10Jul 22, 2015Updated 11 years ago
- Tools and a simple model for the spatially constant LLG equation☆18May 31, 2019Updated 7 years ago
- Visual Bidirectional Kernelized Network for Visual Question Answering☆11Jul 17, 2017Updated 9 years ago
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 10 years ago
- An automated theorem prover for first-order logic.☆243Nov 25, 2021Updated 4 years ago
- Scripts to convert between PDB to Tinker XYZ files, without using the existing TINKER programs for conversion.☆15Jul 19, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Package for analysing functional near-infrared spectroscopy (fNIRS) data☆16Apr 14, 2018Updated 8 years ago
- Dorian is an intuitive high-level abstraction for declaring imperative programs that can be compiled or interpreted using LLVM and Cranel…☆21Jun 11, 2025Updated last year
- Minimalistic implementation of Naiad paper "A Timely Dataflow System" in Scala☆12Jul 13, 2020Updated 6 years ago
- AutoDrive simulation using opendavinci☆15Dec 23, 2018Updated 7 years ago
- lustering in Machine Learning Introduction to Clustering It is basically a type of unsupervised learning method . An unsupervised learni…☆29May 28, 2024Updated 2 years ago
- converts obj to egg format for panda3d☆18Aug 23, 2019Updated 6 years ago
- Files used in TMP Chem videos on physical chemistry☆30May 30, 2014Updated 12 years ago
- A workbench for data analysis and modeling☆25Jun 29, 2026Updated 3 weeks ago
- API Express configured with JWT-Token☆18Aug 4, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Algorithms for Mining Frequent Trees (in Tree Structured Datasets)☆10Mar 28, 2020Updated 6 years ago
- Gamma-spectroscopy of (irradiated) samples in Python☆21Mar 6, 2024Updated 2 years ago
- Mizar Mathematical Library☆17Mar 17, 2012Updated 14 years ago
- ☆21Jun 5, 2020Updated 6 years ago
- reinforce learing☆11Jul 29, 2018Updated 7 years ago
- Prolog implemented in Python☆12Sep 6, 2024Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated last month