Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This talk explores approaches for bringing capabilities associated with proof assistants into production languages, primarily Rust and partly Haskell. It considers totality, type-level programming, dependent types, and ways to connect implementation code with formal proofs.
