Skip to content

Add the 15- and 14-state Erdős powers-of-two machines (erdos_15, erdos_14) with Lean proofs - #19

Open
veljjanoski wants to merge 3 commits into
google-deepmind:mainfrom
veljjanoski:erdos-15
Open

Add the 15- and 14-state Erdős powers-of-two machines (erdos_15, erdos_14) with Lean proofs#19
veljjanoski wants to merge 3 commits into
google-deepmind:mainfrom
veljjanoski:erdos-15

Commits

  1. Commits on Oct 27, 2026

  2. Commits on Oct 28, 2026