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. Thanks, Zack _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
