Stream: Coq users

Topic: rewriting under constructor


view this post on Zulip 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

view this post on Zulip 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: Jan 29 2023 at 06:02 UTC