2.1 Configuring the prover
Go to Window > Preferences..., in the category ProverEditor
select the prover you want to configure (right now only the choice of Coq
is possible), and specify the full path to the binaries of the prover.
The grace time is the time Prover Editor will wait if the prover's top-level
is not responding.
