Zero Knowledge cover image

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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app