Is there a way to see all custom tactics provided by a library from inside Coq? Searching for them using Search does not work.
1 Answer
You can use the Print Ltac Signatures
command to list all tactics currently loaded, but there is no direct way to only list tactics from one library.