Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
-
Updated
Dec 15, 2014 - Java
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Tableau-based theorem prover for public announcement logic
Propositional theorem prover using Wang's algorithm
Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
A simple theorem prover made for a university programming assignment
A kernel using inference rules in order to compute the three of proves.
Collection of projets that I developed like an ASP music composer, a Sokoban, Hitory and 8puzzle puzzle solvers, Probabilistic Reasoning with Answer Sets and a project on Automatic Theorem Provers
A reasoning system built in OTTER (theorem prover) solving the "cyphers" problem
A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
A language-generic implementation of equality saturation in Haskell
Theorem prover for a clause logic using the resolution principle.
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
silly automated prover for minimal propositional logic
Compile SPASS to WebAssembly using emscripten
Rock on Coq
A modal logic thorem prover written in golang
Add a description, image, and links to the theorem-prover topic page so that developers can more easily learn about it.
To associate your repository with the theorem-prover topic, visit your repo's landing page and select "manage topics."