Roger Bosman (Apr 20 2021 at 10:31): Roger Bosman (Apr 20 2021 at 10:31):Hi all, I have a question about (generalized?) rewriting of some term under a constructor. I have posted it to stackoverflow, but it seems the bot has not picked it up yet, so I wanted to notify you here :) If you have any suggestions I would really appreciate it
https://stackoverflow.com/questions/67177057/genralized-rewriting-of-an-equivalent-term-under-constructor
Roger Bosman (Apr 20 2021 at 10:33):Alternatively I now see there also is a discourse, I could (re)post it there if that is a better place for a question like this
Last updated: Sep 28 2023 at 11:01 UTC