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: Feb 01 2023 at 12:30 UTC