Add Semi-Continuous mode for larger and slower files#689

Draft

tlsomers wants to merge 2 commits intocoq:mainfrom tlsomers:semi-continuous-mode

+99-59

Commits on Nov 17, 2023

Add semi-continuous mode which skips proofs in the foreground, but executes them in the background
Thomas Somers
committed
Merge branch 'main' of github.com:tlsomers/vscoq into semi-continuous-mode
Thomas Somers
committed