Add tt entails#12899

Closed

mahidhiman12 wants to merge 7 commits intoTheAlgorithms:masterfrom

mahidhiman12:add-tt-entails

Commits on Aug 18, 2025

Add TT-ENTAILS algorithm (propositional logic) with examples
mahidhiman12
committed
Rename file to lowercase without dash to follow repo conventions
mahidhiman12
committed
Add TT-ENTAILS algorithm with examples and references
mahidhiman12
committed
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed
Fix ruff/pre-commit issues: docstrings, typing, imports, nested if, safe eval comment
mahidhiman12
committed
Fix ruff/pre-commit issues: docstrings, typing, imports, nested if, safe eval comment
mahidhiman12
committed
[pre-commit.ci] auto fixes from pre-commit.com hooks
pre-commit-ci[bot]
committed