Make it more pleasant to write a proof-by-computation over a range of values #6101
| Job | Run time |
|---|---|
| 9m 16s | |
| 1m 1s | |
| 6m 23s | |
| 11m 16s | |
| 8m 38s | |
| 3m 45s | |
| 3m 7s | |
| 2m 26s | |
| 5m 10s | |
| 2m 37s | |
| 0s | |
| 53m 39s |
| Job | Run time |
|---|---|
| 9m 16s | |
| 1m 1s | |
| 6m 23s | |
| 11m 16s | |
| 8m 38s | |
| 3m 45s | |
| 3m 7s | |
| 2m 26s | |
| 5m 10s | |
| 2m 37s | |
| 0s | |
| 53m 39s |