Report copyright - Interactive Prover - Atelier B · 2015-06-11 · 6 Interactive Prover - Reference Manual •for rewriting In this case, B has the form C == D. If A is verified then C is rewritten
Please pass captcha verification before submit form
Please pass captcha verification before submit form