paper/rapidity_so8_closure: Lean modules cited by papers/rapidity_so8_closure/#7

Merged

disregardfiat merged 8 commits into

paper/octonionic_actionfrom

paper/rapidity_so8_closure

May 27, 2026

Commits on May 27, 2026

paper/closure: add Lean modules cited by papers/closure/
disregardfiat
committed
docs: enumerate parent modules excluded from public repo (broken/WIP)
disregardfiat
committed
paper/3d_causal_growth: add Lean modules cited by papers/3d_causal_growth/
disregardfiat
committed
paper/coronal_heating: add Lean modules cited by papers/coronal_heating/
disregardfiat
committed
paper/rapidity_so8_closure: add Lean modules cited by papers/rapidity_so8_closure/
disregardfiat
committed
Merge pull request #10 from HQIV/paper/closure
disregardfiat
authored
Merge pull request #9 from HQIV/paper/3d_causal_growth
disregardfiat
authored
Merge pull request #8 from HQIV/paper/coronal_heating
disregardfiat
authored