Skip to content

feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply - #278

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/compassionate-fermat-9x7vpe-proofdrift-lines
Nov 10, 2026
Merged

feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply#278
hyperpolymath merged 3 commits into
mainfrom
claude/compassionate-fermat-9x7vpe-proofdrift-lines

Merge branch 'main' into claude/compassionate-fermat-9x7vpe-proofdrif…

da1ae55
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar