Stream: MetaCoq

Topic: ✔ Implicits intros in tmLemma

view this post on Zulip Louise Dubois de Prisque (Oct 24 2022 at 11:15):

Thank you everyone for your detailled answers !

view this post on Zulip Notification Bot (Oct 24 2022 at 11:16):

Louise Dubois de Prisque has marked this topic as resolved.

Last updated: Jan 30 2023 at 18:04 UTC