# robots.txt for http://www.pgprospector.com/

User-agent: *
Disallow: /proofs/ #proofs don't need to be seen