Kevin Lacker on AI-Assisted Theorem Proving and Acorn
Zero Knowledge
00:00
User workflow example: proving an odd+1 is even
Guillermo prompts a proof example; Kevin walks through writing the theorem, using let statements, and the editor’s feedback.
Transcript
Play full episode
