TheWizardTower/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. :)
Rust
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. :)
Rust