Previous Up Next

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.




Previous Up Next