Freek Wiedijk Explores Advanced Topics in HOL Light (Part 2) 🔍
Dive deeper into HOL Light with Freek Wiedijk as he discusses complex concepts and recent developments. Perfect for enthusiasts and researchers alike!
Hausdorff Center for Mathematics
121 views • Jun 11, 2024
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
121
Likes
4
Duration
46:19
Published
Jun 11, 2024
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now