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: Sep 23 2023 at 07:01 UTC