← 피드로
▲ 9 points · 💬 0 comments · Hacker News
출처: www.amazon.science · https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus
Developing provably correct Rust code with Verus
작성자
카테고리: