Skip to content

Split root-count tactic into theorem and frontend layers - #515

Merged
PerAlexandersson merged 1 commit into
mainfrom
refactor/root-count-tactic-layers-20260904
Sep 4, 2026
Merged

Split root-count tactic into theorem and frontend layers#515
PerAlexandersson merged 1 commit into
mainfrom
refactor/root-count-tactic-layers-20260904

refactor: split root-count tactic layers

0adc4a1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar