Cora - ADL - Proofs