Skip to main content

coq-of-rust：将 Rust 程序翻译到 Coq 证明系统中，以实现形式化验证，确保程序无漏洞的开源项目