When does Ltac2 decide to print constrs as ...? (Context: https://github.com/coq/coq/issues/16716)
...
answer in issue
Thanks!
Jason Gross has marked this topic as resolved.
Last updated: Dec 05 2023 at 11:01 UTC