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

Makarius makarius at sketis.net
Thu Oct 15 13:28:22 CEST 2020

On 15/10/2020 13:15, Zack Grannan wrote:
> 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.

You should ask this on the isabelle-users mailing list; isabelle-dev is for
developing Isabelle itself, not Isabelle-based tools.


More information about the isabelle-dev mailing list