Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Benchmark suite for Isabelle's `rewrite` t...


view this post on Zulip Email Gateway (Oct 15 2020 at 11:16):

From: Zack Grannan <zachary.grannan@imdea.org>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Oct 15 2020 at 11:28):

From: Makarius <makarius@sketis.net>
You should ask this on the isabelle-users mailing list; isabelle-dev is for
developing Isabelle itself, not Isabelle-based tools.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Mar 04 2024 at 10:08 UTC