Stream: Coq users

Topic: seeking feature wishes for hint db modifiers

view this post on Zulip Gaƫtan Gilbert (Dec 15 2021 at 13:17):

what sort of things should be implemented?
eg Hint Db Copy
or Hint Db Remove Transparency
or whatever you want

Last updated: Jan 31 2023 at 14:03 UTC