Last released Mar 13, 2026
The ultimate logical equivalence and simplification checker.
Last released Mar 11, 2026
A library for logical contrapositives, conjunctions, and disjunctions.
Last released Mar 9, 2026
A simple, direct tautology checker built on SymPy.
Supported by
