Skip to content
This repository has been archived by the owner on Aug 20, 2021. It is now read-only.

klab-prove: stop passing custom tactic to z3#350

Open
asymmetric wants to merge 1 commit intomasterfrom no-z3-tactic
-1

Commits

Commits on Feb 16, 2020