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.
Overview
Syllabus
Freek Wiedijk: Even more on HOL Light (3)
Taught by
Hausdorff Center for Mathematics
