Notification Bot (Nov 14 2023 at 12:14): Notification Bot (Nov 14 2023 at 12:14):21 messages were moved here from #Coq users > Hints to address incompatible types ? by Karl Palmskog.
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: Oct 13 2024 at 01:02 UTC