Skip to content

Resolve "[config] option to use registered provers from why3 conf without running why3 config detect"

Benjamin Jorge requested to merge use-why3-provers into master

Based on !65 (merged)

Closes #73 (closed)

Edited by Benjamin Jorge

Merge request reports