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

Add Stérin's 14-state Erdős machine (erdos_14) as a 15 -> 14 reduction

5193901
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Oct 28, 2026 in 7s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

✅ 5193901 Author: @veljjanoski <dani********oski​@gmail.com>

(Only the first commit for a unique contributor is listed.)

View more details on Google CLA