Skip to content

feat(busy_beaver): Modularize Defs, port remaining 22 BB(6) Hard holdout cryptids, and register 735 theorems - #29

Open
TomZahavy wants to merge 7 commits into
mainfrom
shared-core-defs-split
Open

feat(busy_beaver): Modularize Defs, port remaining 22 BB(6) Hard holdout cryptids, and register 735 theorems#29
TomZahavy wants to merge 7 commits into
mainfrom
shared-core-defs-split

Address PR #29 review feedback: tighten core defs, upgrade #424, expo…

84cc3ba
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar