feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompile.v)#640

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

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