Report copyright - Interactive Theorem Proving (ITP) Course€¦ · Proof proof can show absence of errors in design but proofs talk about a design, not a real system)testing and proving complement
Please pass captcha verification before submit form
Please pass captcha verification before submit form