Gendrome Proof Database