Internal users can search for open and closed proofs and results show files, thumbnails, and proofs with found search strings emphasized.

Permission restrictions securely extend this functionality to collaborative users, who now have the ability to search proofs for their customers, or for proofs they participated in as manager, reviewer, or production.