Stream: Coq users

Topic: A question about notation format


view this post on Zulip YoungJu Song (Feb 14 2021 at 15:44):

I have a product type data, and when printing it in the goal window (upper right), I want to print a splitting line in the middle, print the former on the left and the latter on the right (both left-aligned). Is there a way to do this?


Last updated: Feb 01 2023 at 12:30 UTC