leanflow-dualscale-pde / certificate.json

Commit History

feat(model-R3): peer-reviewed R3 — dual-scale Eq.3, 64x64 benchmark, Leray 2D projection, honest Lean audit, CERT-HF-MODEL-R3

4b88580
verified

callensxavier commited on about 19 hours ago

feat(model): publish LeanFlow Neuro-Symbolic DualScale Navier-Stokes solver v1.0.0

8825d61
verified

callensxavier commited on about 20 hours ago