Stream: Coq users

Topic: contents of hint database

view this post on Zulip Eric Mark Martin (Dec 19 2021 at 21:33):

Is there any command by which I can see the list of things that I've added to a hints database?

view this post on Zulip Li-yao (Dec 20 2021 at 03:57):

Print HintDb mydb.

Last updated: Jan 27 2023 at 02:04 UTC