Senior Engineering Manager @polycam
Company:@polycamLocation:Carrboro, NC
config.exe
Explorations with the Lean Theorem Prover