Typo in output of why3 config --help
15:09 ~/lambdapi (release) why3 config --help
[...]
Available commands:
add-prover add prover
detect detect installed provers
list-supported-provers list all the supported provers
show show the full configution
>>> configuration <<<