feat(formal): grow P-2 to the STLC with functions + the substitution lemma#629

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

claude/lucid-cray-4a22dphyperpolymath/affinescript:claude/lucid-cray-4a22dpCopy head branch name to clipboard