Module ProverDetect

module ProverDetect: sig .. end

Why3 Prover Detection


val detect : unit -> VCS.dp list