Say what verification/proofs/ actually contains - #86

Say what verification/proofs/ actually contains#86

hyperpolymath merged 3 commits into

mainhyperpolymath/haec:mainfrom

claude/new-session-snuorohyperpolymath/haec:claude/new-session-snuoroCopy head branch name to clipboard