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.

Simple tautology generator.

Forenede Tautologers Tautologiske Forening.

semantic tableau is method of finding whether the given logic (propositional logic here) is consistent or inconsistent, whether it is valid (tautology) or not.

Questo progetto crea un sito web vulnerabile a SQL Injection utilizzando Docker. Il server utilizza PHP 7.4 e MySQL 5.7. L'obiettivo è educativo e serve a dimostrare come una vulnerabilità di SQL Injection possa essere sfruttata.

Haskell Tautology Checker and Parser

🧮 validation methods of propositional logic

Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]

Tautologisk Forening For Tautologi.

Library used for resolving simple logical problems.

Prove propositional logic tautologies via Smullyan's tableaux method

Autonomous Theorem Prover for First Order Predicate Logic

A parser of relational predicate logic & truth tree solver, written in Rust.