Hugging Face's logo

callensxavier
/
leanflow-dualscale-pde

Rust
English
generic
leanflow_dualscale_pde
computational-fluid-dynamics
pde-solver
navier-stokes
lean4
neuro-symbolic
turbulence
jhtdb
scientific-computing
formally-verified
Eval Results (legacy)
Model card Files
xet
 Community
leanflow-dualscale-pde / config.json

Commit History

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

callensxavier commited on