Skip to content

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus) - #16968

Closed
jsboige wants to merge 2 commits into
mainfrom
feature/16752-r06-genef
Closed

feat(lean,#16752): GenEFT module — description length (orbit-stabilizer), Theorem 1 clustering, competition invariant (R06 Tegmark corpus)#16968
jsboige wants to merge 2 commits into
mainfrom
feature/16752-r06-genef

Merge origin/main into feature/16752-r06-genef : organe EffectiveTheo…

38d23e0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar