Lean 4 proofs of collision invariants, spectral gaps, closed forms, and Onsager transport structure for four-wave resonance models.
Lean Updated 2 months ago 1 commits
prism-dev|Mirror: veridiscoverLab/resonance-kinetic-lean (⭐0)
2 months agoAbout
Lean 4 proofs of collision invariants, spectral gaps, closed forms, and Onsager transport structure for four-wave resonance models.
Readme