Stream: Coq users

Topic: A question about notation format

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: Oct 03 2023 at 02:34 UTC