Kevin Lacker on AI-Assisted Theorem Proving and Acorn
22nd October 2025
• Zero Knowledge • Zero Knowledge Podcast
00:00:00
00:55:42
1
Follow
Follow
Follow
RSS
Apple Podcasts
Spotify
Overcast
Castro
Goodpods
Video
More from YouTube
