creusot 博士論文でRustのパッケージ作っているらしい 参考文献 Rustコードの演繹的検証。 - wenyanet GitHub - xldenis/creusot: deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!