brouwer(arithmetic): checked refutations of strict-left-mono of _⊕_ and additive-principal closure on generic sums
#239
| Job | Run time |
|---|---|
| 3s | |
| 3s | |
| 6s | |
| 12s | |
| 6s | |
| 8s | |
| 5s | |
| 14s | |
| 5s | |
| 1m 2s |