Stream: Coq users

Topic: ✔ How to determine the level of an operator?

view this post on Zulip Daniel Hilst Selli (Nov 11 2021 at 19:59):

Is there any command to print the level of the A * B notation for example? I would like to know the level of other operators so that I can choose my own operators level accordingly

view this post on Zulip Ana de Almeida Borges (Nov 11 2021 at 22:03):

See this discussion.

view this post on Zulip Daniel Hilst Selli (Nov 12 2021 at 17:46):

Thank you Ana!

view this post on Zulip Notification Bot (Nov 12 2021 at 17:46):

Daniel Hilst Selli has marked this topic as resolved.

Last updated: Oct 03 2023 at 04:02 UTC