Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for theorem prover propositional logic
propositional-logic
x
theorem-prover
x
3 search results found
Philomath
⭐
12
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Pypl
⭐
12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Lcf Style Nd
⭐
5
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Related Searches
Python Propositional Logic (11)
First Order Logic Theorem Prover (9)
Dependent Types Theorem Prover (7)
Proof Assistant Theorem Prover (6)
Python Theorem Prover (6)
Haskell Theorem Prover (6)
Java Propositional Logic (6)
Type Theory Theorem Prover (5)
Scala Theorem Prover (5)
Prolog Theorem Prover (5)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
