Kevin Lacker on AI-Assisted Theorem Proving and Acorn
Zero Knowledge
00:00
Getting started with Acorn and contributing
Guillermo prompts usage; Kevin outlines installing the VS Code extension, trying examples, joining Discord, and contributing to Acornlib.
Transcript
Play full episode
