CARMA Special Semester

Thursday, 28^th Mar 2019 — Tuesday, 29^th Feb 0000

SR202, SR Building

• Download An Introduction to Assisted Theorem Proving with “Coq” ("RMIT University") [284]

Dr Matthew Skerritt

(School of Science, STEM College, RMIT University)

An Introduction to Assisted Theorem Proving with “Coq”

I introduce and demonstrate the Coq assisted theorem prover.