Skip to content

Say what verification/proofs/ actually contains - #83

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/new-session-snuoro
Nov 9, 2026
Merged

hyperpolymath merged 2 commits into
mainfrom
claude/new-session-snuoro

Replace the forbidden "0% proven" line with a census

f7ab9a6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar