A modular, reusable university course for Rust
Why do you think that https://github.com/model-checking/kani is a good alternative to teach-rs
A modular, reusable university course for Rust
Why do you think that https://github.com/model-checking/kani is a good alternative to teach-rs