Formal Proof Completion on Butcher textbook Numerical Methods for Ordinary Differential Equations
0SorriesOpenMath
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| OpenMath2026.06 | 0 | 0 | |
| RepoProver2026.06 | 5 | 0 | |
| M2F2026.06 | 12 | 4 |
Loading the SOTA2 catalog…
| Method | Links | ||
|---|---|---|---|
| OpenMath2026.06 | 0 | 0 | |
| RepoProver2026.06 | 5 | 0 | |
| M2F2026.06 | 12 | 4 |