rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did)

原文：https://www.a8q9.cn/en/article/rust-djinn-you-should-specify-your-code-unambiguously-and-prove-that-you-did-1a7cb3.html