ci(lean): add Lean proof gate (lake build) guarding the metatheory#61

hyperpolymath merged 2 commits into

mainhyperpolymath/phronesis:mainfrom

claude/gifted-fermat-EmVcvhyperpolymath/phronesis:claude/gifted-fermat-EmVcvCopy head branch name to clipboard