Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
☆16May 4, 2018Updated 8 years ago
Alternatives and similar repositories for prover9
Users that are interested in prover9 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆10Jun 6, 2023Updated 3 years ago
- Package manager for GAP☆12Updated this week
- Convert markdown to moodle xml, So that you can enjoy life rather than doing copy-pasting like mere muggles☆13Nov 14, 2023Updated 2 years ago
- This tool is able to convert a quiz in *markdown* format to *Moodle's XML* format.☆17Sep 16, 2026Updated last month
- 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.
- ☆21Jul 5, 2018Updated 8 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 4 years ago
- The Heterogeneous Tool Set☆64Oct 7, 2025Updated last year
- Haskel brainfuck interpreter☆12Apr 19, 2015Updated 11 years ago
- Set monad☆19Jun 11, 2023Updated 3 years ago
- [+.<] Win the esolang master!!!☆12Apr 8, 2025Updated last year
- Lightweight and friendly .NET library for realizing modern Semantic Web applications (OWL2, SWRL, SKOS)☆16Updated this week
- ☆12Aug 29, 2019Updated 7 years ago
- Reasoner for the description logic EL+.☆17Sep 28, 2026Updated last month
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆16Oct 3, 2026Updated last month
- GPI Case Resources☆17Jun 20, 2019Updated 7 years ago
- My esoteric languages☆28Jul 31, 2022Updated 4 years ago
- The website for the Reich Lab @ UMass-Amherst.☆17Updated this week
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 15, 2026Updated 2 weeks ago
- RDF rule engine☆27Jul 22, 2024Updated 2 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆31Aug 27, 2015Updated 11 years ago
- Kundalini Discover is an R framework for the scientific investigation of Kundalini according to the Kundalini thesis as proposed by Gopi …☆12Oct 3, 2024Updated 2 years ago
- ☆10Jun 29, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Feb 2, 2026Updated 9 months ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- An Unlambda Interpreter and REPL☆11Sep 27, 2018Updated 8 years ago
- Type declarations for Node's Buffer class☆10Oct 22, 2026Updated last week
- ☆10Oct 10, 2025Updated last year
- Toolkit for building http client libraries over Network HTTP Conduit☆12Jun 3, 2022Updated 4 years ago
- A well typed interpreter for the simply-typed lambda calculus written in Agda☆11Aug 22, 2016Updated 10 years ago
- FREyA is a Natural Language Interface for Querying Ontologies☆31Jan 23, 2018Updated 8 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.
- Print file contents with syntax highlighting☆16Dec 22, 2015Updated 10 years ago
- Awesome Eletrônica em Português☆13Dec 9, 2024Updated last year
- ☆10Nov 5, 2018Updated 7 years ago
- Source for HaskellMN's website☆10Mar 16, 2021Updated 5 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- Common Lisp package for simple two dimensional computational geometry.☆11May 29, 2016Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 10 years ago