Stream: Coq users

Topic: Rewriting rules Coq extension

view this post on Zulip Notification Bot (Nov 14 2023 at 12:14):

21 messages were moved here from #Coq users > Hints to address incompatible types ? by Karl Palmskog.

view this post on Zulip Karl Palmskog (Nov 14 2023 at 12:15):

I changed the topic, but I will leave the topic in this stream since it seemingly concerns practical user issues

Last updated: Jun 23 2024 at 05:02 UTC