Task 109#171

Merged

TwoFX merged 15 commits intoleanprover:masterfrom

Jun 9, 2025

Commits on May 5, 2025

Left shift theory
jt0202
committed

Commits on May 6, 2025

Algorithm
jt0202
committed

Commits on May 7, 2025

Next try
jt0202
committed
Further
jt0202
committed

Commits on May 13, 2025

Progress on 0 and 1 cases
jt0202
committed

Commits on May 16, 2025

Finish zero case
jt0202
committed

Commits on May 17, 2025

Commits on Jun 2, 2025

Update to stable release
jt0202
committed

Commits on Jun 5, 2025

⚡