Skip to content

Clarify homepage progress scope and proof completion - #45

Merged
Deicyde merged 3 commits into
mainfrom
fix/issue-27-progress-semantics
Oct 3, 2026
Merged

Deicyde merged 3 commits into
mainfrom
fix/issue-27-progress-semantics