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

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

veljjanoski wants to merge 6 commits into

google-deepmind:maingoogle-deepmind/cryptids:mainfrom

veljjanoski:erdos-15veljjanoski/cryptids:erdos-15Copy head branch name to clipboard