More on HOL Light - Lecture 2

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!

Dive deeper into the world of HOL Light with this insightful 46-minute lecture by Freek Wiedijk at the Hausdorff Center for Mathematics. Explore advanced concepts and techniques in higher-order logic theorem proving, building upon foundational knowledge of HOL Light. Gain valuable insights into the practical applications and theoretical underpinnings of this powerful proof assistant, enhancing your understanding of formal verification and mathematical reasoning in computer science.

Syllabus

Freek Wiedijk: More on HOL Light (2)

Taught by

Hausdorff Center for Mathematics

Related Courses

Probabilistic Graphical Models 1: Representation
Stanford University via Coursera Computer Security
Stanford University via Coursera Intro to Computer Science
University of Virginia via Udacity Introduction to Logic
Stanford University via Coursera Internet History, Technology, and Security
University of Michigan via Coursera