-
Notifications
You must be signed in to change notification settings - Fork 67
Pull requests: coq-community/vscoq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[VsCoq1] Add thread count option, translated to -async-proofs-j
#285
opened Mar 9, 2022 by
Blaisorblade
Loading…
1 of 2 tasks
ProTip!
Follow long discussions with comments:>50.