Stream: Beginner Questions

Topic: How to search for functions using find_theorems

view this post on Zulip Zixuan Fan (May 06 2024 at 08:51):

Hi, if my memory was correct, it is possible to search for certain functions with its type using find_theorems, but I somehow forget the syntax. This is what I am trying to use now 

find_theorems "f:: 'a list => 'a list"

does anyone know where it went wrong? I would really appreciate it.

view this post on Zulip Mathias Fleury (May 06 2024 at 08:52):

_ instead of f?

view this post on Zulip Mathias Fleury (May 06 2024 at 08:53):

or find_consts ‹_ list ⇒ _ list›

view this post on Zulip Zixuan Fan (May 06 2024 at 08:53):

Yes, it works. Thank you!

Last updated: Dec 21 2024 at 16:20 UTC