Awesome
HaysTac
A pile of Ltac tactics that might contain the needle you're looking for...
- To use HaysTac, build it using
make
, thenRequire Import HaysTac.
.
A pile of Ltac tactics that might contain the needle you're looking for...
make
, then Require Import HaysTac.
.