tautology-checking
There are 7 repositories under tautology-checking topic.
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
HondaPL/Haskell-Tautology-Checker
Haskell Tautology Checker and Parser
bjam24/agh-languages-and-libraries-of-data-analysis
This repository contains my projects created during Language and Libraries of Data Analysis on AGH
Mayank19j/resolution-refutation-prolog
resolution refutation is method of finding whether the given antecedent implies the consequent or not, it could also be used to check validity of the expressions.
Mayank19j/semantic-tableau
semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.