Commits

Branch selector

 main

User selector

All users

All time

Commit history

Commits on Jul 19, 2026

• Create lean-toolchain

  AEjonanonymous

  authored
  93cac52

  Copy full SHA for 93cac52

• Create lakefile.lean

  AEjonanonymous

  authored
  647809a

  Copy full SHA for 647809a

Commits on Jun 12, 2026

• Create CITATION.cff

  AEjonanonymous

  authored
  22ab201

  Copy full SHA for 22ab201

Commits on Jun 1, 2026

• Add files via upload

  AEjonanonymous

  authored
  6175a94

  Copy full SHA for 6175a94

• Delete The Golden Ratio's Footprint in Happy Number Sequences.pdf

  AEjonanonymous

  authored
  8c009e0

  Copy full SHA for 8c009e0

• Update README.md

  AEjonanonymous

  authored
  15964bf

  Copy full SHA for 15964bf

• Update README.md

  AEjonanonymous

  authored
  09e527c

  Copy full SHA for 09e527c

• Update README.md

  AEjonanonymous

  authored
  0eae44d

  Copy full SHA for 0eae44d

• Update README.md

  AEjonanonymous

  authored
  26bc5d4

  Copy full SHA for 26bc5d4

• Update README.md

  AEjonanonymous

  authored
  5ee00b7

  Copy full SHA for 5ee00b7

• Add files via upload

  AEjonanonymous

  authored
  c86b890

  Copy full SHA for c86b890

• Update README.md

  AEjonanonymous

  authored
  ee88db6

  Copy full SHA for ee88db6

• Add files via upload

  AEjonanonymous

  authored
  c71d9ff

  Copy full SHA for c71d9ff

• Delete The Golden Ratio's Footprint in Happy Number Sequences.pdf

  AEjonanonymous

  authored
  cc14919

  Copy full SHA for cc14919

• Update README.md

  AEjonanonymous

  authored
  d6b109b

  Copy full SHA for d6b109b

• Update README.md

  AEjonanonymous

  authored
  2343298

  Copy full SHA for 2343298

• Update README.md

  AEjonanonymous

  authored
  640b6fe

  Copy full SHA for 640b6fe

• Update README.md

  AEjonanonymous

  authored
  1a56a8c

  Copy full SHA for 1a56a8c

• Update README.md

  AEjonanonymous

  authored
  7d7b803

  Copy full SHA for 7d7b803

• Delete Ratio Of Sums Test.py

  AEjonanonymous

  authored
  bac3369

  Copy full SHA for bac3369

• Delete Geometric Collapse Test.py

  AEjonanonymous

  authored
  0d6a625

  Copy full SHA for 0d6a625

• Update README.md

  AEjonanonymous

  authored
  0529c59

  Copy full SHA for 0529c59

• Update README.md

  AEjonanonymous

  authored
  816667b

  Copy full SHA for 816667b

• Update README.md

  AEjonanonymous

  authored
  70489e4

  Copy full SHA for 70489e4

• Add files via upload

  AEjonanonymous

  authored
  a576e0f

  Copy full SHA for a576e0f

Commits on May 29, 2026

• Delete Happy_Number___Draft.pdf

  AEjonanonymous

  authored
  5a7cadf

  Copy full SHA for 5a7cadf

• Update unified_system_identity_proof.lean

  AEjonanonymous

  authored
  3816324

  Copy full SHA for 3816324

• Update basin_is_bounded.lean

  AEjonanonymous

  authored
  063ac8e

  Copy full SHA for 063ac8e

• Update StepLength.py

  AEjonanonymous

  authored
  158dbb5

  Copy full SHA for 158dbb5

• Update StepAnalyzer_SumAnalyzer.lean

  AEjonanonymous

  authored
  6412535

  Copy full SHA for 6412535

• Update Geometric Collapse Test.py

  AEjonanonymous

  authored
  c6330d9

  Copy full SHA for c6330d9

• Add files via upload

  AEjonanonymous

  authored
  0bb10e8

  Copy full SHA for 0bb10e8

• Create LICENSE

  AEjonanonymous

  authored
  83733fb

  Copy full SHA for 83733fb

• Initial commit

  AEjonanonymous

  authored
  aabe3b2

  Copy full SHA for aabe3b2