Formal Proof Completion on Butcher textbook Numerical Methods for Ordinary Differential Equations
0Sorries
OpenMath
Updated 1mo ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.06 | 0 | 0 | |
2026.06 | 5 | 0 | |
2026.06 | 12 | 4 |
OpenMath
| Method | Links | ||
|---|---|---|---|
2026.06 | 0 | 0 | |
2026.06 | 5 | 0 | |
2026.06 | 12 | 4 |