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):

see https://github.com/coq/coq/issues/15213
what sort of things should be implemented?
eg Hint Db Copy
or Hint Db Remove Transparency
or whatever you want


Last updated: Jun 24 2024 at 01:01 UTC