https://github.com/formal-land/coq-of-rust

GitHub - formal-land/coq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Rustの形式検証ツール「coq-of-rust」の紹介です。

プログラムの実行ケースを100%チェックし、バグのないアプリケーションを作成できます。

詳細はGitHubリポジトリをご覧ください。