#rustconf Community Lightning Talk spotlight: "Verifying the #rustlang Standard Library" with Michael Tautschnik (Sr. Applied Scientist, AWS): the story of how the community formally verified 11,000+ std library functions. Sept 10 🦀
View: bit.ly/4zpsVT3
Book: bit.ly/4x7CswB 