Skip to content

feat: optional parallel kernel replay (parallel_replay) - #99

Open
dpwoodru wants to merge 5 commits into
leanprover:masterfrom
dpwoodru:parallel-replay
Open

feat: optional parallel kernel replay (parallel_replay)#99
dpwoodru wants to merge 5 commits into
leanprover:masterfrom
dpwoodru:parallel-replay

feat: check theorems in parallel in replayParallel

b005862
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs