LessWrong AI
· Communities
I'm starting a interview series of people working in Lean / formal methods / math formalization
I think the topics of discussion would be of interest to a lot of people here, so I thought I'd share the first episode:Tanner Duve is a Member of Technical Staff at Logical Intelligence working on formal verification and compilers in Lean, an open-source contributor to Mathlib and CSLib, and a former D1 football playe