# it's a real source including sample code with long lines
eprover source: source-is-missing [DOC/sample_proofs_tstp.html]
