Ricardo (Jan 17 2022 at 22:03): Ricardo (Jan 17 2022 at 22:03):Hi everyone. I haven't used Coq in a long time and now I'm trying to remember how to find theorems already proved either in the standard library, any loaded library or by myself. I see in Proof General the Find Theorems command (C-c C-f) but I don't know what to write there to get any theorems. I also vaguely remember one could use Search or something like that to find theorems by their type. I hope someone can help me remember here and point me to some documentation.
Ricardo (Jan 17 2022 at 22:30):I found it! Page 203 of Coq's reference manual for version 8.15.0.
Notification Bot (Jan 25 2022 at 22:27):Ricardo has marked this topic as resolved.
Last updated: Sep 30 2023 at 07:01 UTC