/rust_borrow_checker_talk

I gave a talk about how Rust's borrow checker was formally verified at LambdaConf 2019. These are the slides and source code for said talk. :)

Primary LanguageRust

Stargazers