Kevin Lacker on AI-Assisted Theorem Proving and Acorn
Zero Knowledge
00:00
Acorn as a language and VS Code workflow
Anna asks whether Acorn is a language or product; Kevin describes the Acorn language, VS Code extension, and live verification experience.
Play episode from 10:51
Transcript
