-
Michele Alberti authored- Cmdline check for prover existance and exit with error in case no such a prover exist. - User can now enter the name of a prover in a case-insensitive way.
Michele Alberti authored- Cmdline check for prover existance and exit with error in case no such a prover exist. - User can now enter the name of a prover in a case-insensitive way.