Repository navigation

check-proof-statements: flag asides in a theorem statement - #1368

Merged

d-morrison merged 1 commit into

mainfrom

claude/project-thread-5ek13a

Oct 30, 2026

Merged

check-proof-statements: flag asides in a theorem statement#1368
d-morrison merged 1 commit into
mainfrom
claude/project-thread-5ek13a

Commits on Oct 30, 2026
- check-proof-statements: also flag asides in a theorem statement
  claude
  committed
  ac60a9f