Stream: Coq users

Topic: Unambiguous `constructor`

view this post on Zulip Joshua Grosso (Oct 17 2020 at 03:01):

Is there a version of (e)constructor that only succeeds when there's an unambiguous choice of constructor to apply?

Last updated: Oct 03 2023 at 21:01 UTC