DHaven-Proofs