Stream: Coq users

Topic: Hint Cut with Hint Extern?

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