Stream: Coq users

Topic: ✔ change with checked type

view this post on Zulip James Wood (Aug 09 2022 at 12:31):

Aha, Tactic Notation with uconstr(...) arguments. Thanks!

view this post on Zulip Notification Bot (Aug 09 2022 at 12:31):

James Wood has marked this topic as resolved.

Last updated: Jan 27 2023 at 01:03 UTC