Stream: General

Topic: `rewrite` method tutorial


view this post on Zulip Josh Chen (Mar 23 2020 at 12:54):

I seem to recall that there was a PDF tutorial describing the rewrite method, does anyone know where it lives?

view this post on Zulip Kevin Kappelmann (Mar 23 2020 at 13:51):

Only thing I found is the paper describing the subterm selection part of the tactic, but I guess that's not what you were looking for

view this post on Zulip Josh Chen (Mar 23 2020 at 13:52):

Mm yeah I found that too, but somehow I have this memory of reading an actual tutorial for rewrite. Thanks though! :)

view this post on Zulip Simon Wimmer (Mar 24 2020 at 18:42):

Kevin Kappelmann said:

Only thing I found is the paper describing the subterm selection part of the tactic, but I guess that's not what you were looking for

Yes, I think this is the only source.


Last updated: Aug 15 2022 at 02:13 UTC