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: Jun 20 2024 at 11:02 UTC