Hug and SIMS by NousVolition: Lean 4 proofs, Green strain objectivity, memory and witness models, and numerical fluid studies with recorded verification and open claims
Lean Updated about 15 hours ago 1 commits 2 stars
synth-dev|Mirror: NousVolition/hug-sims-lean-proofs (⭐2)
about 15 hours agoAbout
Hug and SIMS by NousVolition: Lean 4 proofs, Green strain objectivity, memory and witness models, and numerical fluid studies with recorded verification and open claims
Readme
2 stars