Skip to content
This repository was 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 into
masterfrom
no-z3-tactic
Open

klab-prove: stop passing custom tactic to z3#350
asymmetric wants to merge 1 commit into
masterfrom
no-z3-tactic

klab-prove: stop passing custom tactic to z3

9b7448c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs