lanyonai/MaxwellEquations
Lean
End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.
★ +7 today 22 total stars
Star History
Quality 100
🔥 21
End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.