Drop files to create or check proofs
New files get a fresh proof.Proven files are looked up.