Rejected for the following reason(s):
We are sorry about this, but submissions from new users that are mostly just links to papers on open repositories (or similar) have usually indicated either crackpot-esque material, or AI-generated speculation.
Read full explanation
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!