[isabelle-dev] Benchmark suite for Isabelle's `rewrite` tactic

Zack Grannan zachary.grannan at imdea.org
Thu Oct 15 13:15:08 CEST 2020

Hello Isabelle developers,

Is there a benchmark suite that tests the rewriting tactic of Isabelle or some
references we can read how it works/performs?

We are implementing a rewrite tactic for Liquid Haskell and it would be great
to compare it with Isabelle's.



More information about the isabelle-dev mailing list