Say what verification/proofs/ actually contains - #83

Say what verification/proofs/ actually contains#83

hyperpolymath merged 2 commits into

mainhyperpolymath/hermeneia:mainfrom

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