Let ProofAttemptConfiguration build the ProveOptions.
Let ProofAttemptConfiguration build the ProveOptions.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub