New AI Agent Auto-Generates Provably Correct Code For Physics And Math

New project: a coding and formal verification agent for computational physics and applied mathematics. Auto-generate type-correct DSL code for equations and numerical schemes, autoformalize correctness properties in Lean/Isabelle/Rocq, then compile down to provably-correct C code