Stream: Coq users

Topic: ✔ Explicit parenthesization in Goal panel


view this post on Zulip Michael Lan (Oct 23 2023 at 01:13):

Hi! Is there a way to have Coq explicitly parenthesize expressions that it would otherwise omit due to the order of operations being implied already due to precedence/associativity rules? This might be useful, e.g., in demonstrating a proof of associativity.

view this post on Zulip Huỳnh Trần Khanh (Oct 23 2023 at 01:26):

Set Printing Parentheses.

view this post on Zulip Michael Lan (Oct 23 2023 at 01:31):

Thanks!

view this post on Zulip Notification Bot (Oct 23 2023 at 01:35):

Huỳnh Trần Khanh has marked this topic as resolved.


Last updated: Jun 18 2024 at 21:01 UTC