Stream: Ltac2

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

view this post on Zulip Gaëtan Gilbert (Oct 23 2022 at 09:26):

answer in issue

view this post on Zulip Jason Gross (Oct 23 2022 at 09:52):

Thanks!

view this post on Zulip Notification Bot (Oct 23 2022 at 09:52):

Jason Gross has marked this topic as resolved.

Last updated: Jan 31 2023 at 09:01 UTC