Skip to content

WIP Sturm-Tarski based real_root_count tactic - #45289

Closed
paulcadman wants to merge 1 commit into
leanprover-community:masterfrom
paulcadman:sturm-tarski-real-root-count-skeleton
Closed

WIP Sturm-Tarski based real_root_count tactic#45289
paulcadman wants to merge 1 commit into
leanprover-community:masterfrom
paulcadman:sturm-tarski-real-root-count-skeleton

Commits

  1. Commits on Oct 26, 2026