ODE Verification #
Public umbrella import for TorchLean's ODE corridor verification stack:
- a small ODE expression AST,
- parsers and JSON loaders for certificate artifacts, and
- the executable checker that replays corridor bounds inside Lean.
Keeping this index module makes NN.Verification mirror the other subfolders (PINN,
Robustness, etc.): users can import NN.Verification.ODE without remembering the per-file split.