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: Apr 19 2024 at 18:01 UTC