Even More on HOL Light - Lecture 3

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore advanced concepts in HOL Light theorem proving with Freek Wiedijk in this 44-minute lecture from the Hausdorff Center for Mathematics. Delve into complex topics and techniques, building upon previous discussions to further enhance understanding of this powerful proof assistant. Gain valuable insights into the intricacies of formal verification and mathematical reasoning using HOL Light, as presented by an expert in the field.

Syllabus

Freek Wiedijk: Even more on HOL Light (3)

Taught by

Hausdorff Center for Mathematics

Related Courses

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube