
Kevin Lacker on AI-Assisted Theorem Proving and Acorn
Zero Knowledge
00:00
Central repository and scaling contributions
Anna asks about hosting; Kevin describes Acornlib on GitHub, scaling with pull requests, and future AI-assisted code review.
Transcript
Play full episode


