CARMA Special Semester
4:00 pm
Thursday, 28th Mar 2019
SR202, SR Building
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.