Josh Chen (Mar 23 2020 at 12:54): 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?
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
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! :)
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: Dec 21 2024 at 12:33 UTC