extract_proofs: add proved and unproved experiments (in org format)