CARMA SPECIAL SEMESTER
Special Semester on Mathematical Thinking
Speaker:
Dr Matthew Skerritt
,
School of Science, STEM College
,
RMIT University
Title:
An Introduction to Assisted Theorem Proving with “Coq”
Location:
Room SR202, SR Building (Callaghan Campus) The University of Newcastle
Time and Date:
4:00 pm, Thu, 28
th
Mar 2019
Abstract:
I introduce and demonstrate the Coq assisted theorem prover.
[Permanent link]