Skip to content

The perfect-square collapse asks the rewrite graph before it asks Simplify - #1201

Merged
Rafael-SOWNet merged 2 commits into
masterfrom
square-proves-equal
Sep 7, 2026
Merged

The perfect-square collapse asks the rewrite graph before it asks Simplify#1201
Rafael-SOWNet merged 2 commits into
masterfrom
square-proves-equal

The proof test is bounded by steps, not by a wall the runner can spend

3ee150d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar