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: Jun 15 2024 at 05:01 UTC