[config] command --check
Compare changes
There are no changes yet
No changes between version 2 and version 2
Implement command why3find config --check
which checks the provers used by all proof certificates under .
Closes #63 (closed)
No changes between version 2 and version 2