Skip to content

`config.proof_theorem_types` is read *after* the config values being inited

Louis requested to merge fix-PR-7 into master

Another fix for !7 (closed).

Merge request reports