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