Report - Logique - Thomas Pietrzak Prolog Séquent Coq. Buts p et q : preuves de P et Q On peut voir la preuve de R avec : Show Proof p : P q : Q _____ R Coq. Tactiques. exact Axiome

Please pass captcha verification before submit form