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: May 28 2023 at 18:29 UTC