feat: add chunking support to par and par' in Lean.Elab.Parallel#11467
Draft
kim-em wants to merge 2 commits intonightly-with-mathlibfrom
Draft
feat: add chunking support to `par` and `par'` in `Lean.Elab.Parallel`#11467kim-em wants to merge 2 commits intonightly-with-mathlibfrom
kim-em wants to merge 2 commits intonightly-with-mathlibfrom
