FINDPROOF : MEXPRFINDPROOF is a top-level command.
Searches your home directory and the directories listed in
SOURCE-PATH, looking for a proof whose name contains the given string.
The command format for FINDPROOF is:
The arguments have the following meaning:
NAME : Name to search for
TPS documentation homepage