feat: add chunking support to par and par' in Lean.Elab.Parallel
#15274
| Job | Run time |
|---|---|
| 0s | |
| 0s |
par and par' in Lean.Elab.Parallel
#15274
| Job | Run time |
|---|---|
| 0s | |
| 0s |