Skip to content

[config] command --check

Benjamin Jorge requested to merge config-check into master

Implement command why3find config --check which checks the provers used by all proof certificates under .

Closes #63 (closed)

Merge request reports