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