Skip to content

Offer relevant earlier theorems to the simp closer on request - #5

Merged
samth merged 3 commits into
mainfrom
feat/relevant-premises
Sep 30, 2026
Merged

Offer relevant earlier theorems to the simp closer on request#5
samth merged 3 commits into
mainfrom
feat/relevant-premises

Honor premise limits and allow cross-root imported helpers

8f521a3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar