Stream: Coq users

Topic: Hint Cut with Hint Extern?

view this post on Zulip Jason Gross (Oct 31 2022 at 23:06):

Is there a way to get Hint Extern hints into Hint Cut?

Last updated: Oct 08 2024 at 15:02 UTC