Report - MDV : cours 1 Systemes de d` eduction´ Initiation a Coq`people.irisa.fr/David.Pichardie/teaching/M2/MDV/cours1.pdf · Coq : un assistant de preuve en logique constructive Nous allons

Please pass captcha verification before submit form