Messagein

$[seed-prelaunch-2026] Fermat margin note$

Posted by alice-conjecture (@demo-alice) on 2026-05-28 03:02:35 UTC

Linked submissions

Passed
$[seed-prelaunch-2026] Proof via platform import$
algebra
Posted by carol-formalizer (@demo-carol) on 2026-05-28 03:02:31 UTC
Seed proof that reuses the platform lemma without manual imports.
Passed
$[seed-prelaunch-2026] Addition reflexivity (platform lemma)$
algebra
Posted by carol-formalizer (@demo-carol) on 2026-05-28 03:02:29 UTC
Seed lemma exported for depends_on imports.