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:
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14May 3, 2026Updated 3 weeks 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
- Standalone pre-training recipe with JAX+Flax☆35Apr 3, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 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
- ☆46Sep 21, 2024Updated last year
- Guidelines for using Cython (documentation)☆11Mar 4, 2023Updated 3 years ago
- ☆12May 5, 2021Updated 5 years ago
- benchmark utility powered by hdr histograms, for node☆14Dec 16, 2016Updated 9 years ago
- Interactive notebook experiment☆19Jun 9, 2023Updated 2 years ago
- RTCPeerConnection wrapper for purists. No dependencies (just ~1.5KB gzipped).☆14Mar 6, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- Unsupervised Perceptual Rewards for Imitation Learning☆10Feb 3, 2018Updated 8 years ago
- Cookiecutter template for making a cog for Red.☆12Jun 18, 2024Updated last year
- meteor + redux = trivia!☆10Dec 7, 2016Updated 9 years ago
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 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
- Experiments to simplify the DX of react-apollo☆18Nov 17, 2016Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Aug 25, 2017Updated 8 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 bookshelf plugin which handles relationships.☆22May 14, 2026Updated last week
- Stub implementations of Node built-in modules, a la Browserify☆17Sep 15, 2021Updated 4 years ago
- A companion list of tools for my commonplacing☆20Updated this week
- MOVΞ - A Decentralised Ride Sharing DApp☆12Jul 30, 2015Updated 10 years ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆13Nov 27, 2023Updated 2 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simplistic demo app using MS SQL instead of mongo☆12Dec 22, 2016Updated 9 years ago
- ☆11Aug 26, 2024Updated last year
- record your keypress counts into a database to track computer usage☆11Dec 25, 2025Updated 5 months ago
- ☆12Sep 25, 2024Updated last year
- Discord Docsbot, Built on bgent☆11Jun 17, 2024Updated last year
- It finds best synonyms from Google Books when you press a hotkey☆30Dec 24, 2014Updated 11 years ago
- The bare essentials of parlay:full-pack☆17Mar 1, 2015Updated 11 years ago