← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-054

RUN-054

RUN-054 — A schema that refuses to be a theorem, a spec for the test nobody ran, and eleven prohibitions becoming fifteen