User-agent: *

Disallow: /proofs/

Allow: /