Talks

AI-assisted engineering with Lean and Rust

GraphQL specifications in Lean, checked correctness proofs, and an iterative workflow for porting and optimizing Rust.