extract_proofs: update exp section, add table (in orgmode)