Stream: Ltac2

Topic: `constr:(...)` printing


view this post on Zulip Jason Gross (Oct 23 2022 at 08:30):

When does Ltac2 decide to print constrs as ...? (Context: https://github.com/coq/coq/issues/16716)


Last updated: Jan 31 2023 at 09:01 UTC