Hi everyone,
I’m a high school student currently formalizing a hierarchy of growth systems in Lean 4. I’ve set up a repository to track the formalization of my ‘universe jump’ architecture.
You can find the implementation here: https://github.com/todounaw/universe-jump
I would appreciate any feedback on the consistency of the jump structure and the definition of the growth function H.
Thanks!
Jump-
Hi everyone, I’m a high school student currently formalizing a hierarchy of growth systems in Lean 4. I’ve set up a repository to track the formalization of my ‘universe jump’ architecture. You can find the implementation here: https://github.com/todounaw/universe-jump I would appreciate any feedback on the consistency of the jump structure and the definition of the growth function H. Thanks!