Repository navigation

Check for redundant implications - #445

Merged

ScriptRaccoon merged 4 commits into

mainfrom

redundant-implications

Oct 30, 2026

Merged

Check for redundant implications#445
ScriptRaccoon merged 4 commits into
mainfrom
redundant-implications

Commits on Oct 30, 2026
- refactor contradiction detection on search page
  ScriptRaccoon
  committed
  32c1345
- add links to implications in contradiction proof on search page
  ScriptRaccoon
  committed
  60f3894
- check for redundant implications
  ScriptRaccoon
  committed
  95804ef
- remove redundant implications
  ScriptRaccoon
  committed
  e2e5e49