Stream: Coq users

Topic: ✔ Conflicting notation & coercions weird interaction

Notification Bot (Apr 05 2023 at 19:56):

Lef Ioannidis has marked this topic as resolved.

Last updated: Oct 04 2023 at 19:01 UTC