• 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, 28th Mar 2019
  • Abstract:

    I introduce and demonstrate the Coq assisted theorem prover.


  • [Permanent link]