Cuq 针对 PTX 的 MIR-to-Coq 框架

Cuq 是一个针对 PTX 的 MIR-to-Coq 框架，用于 Rust GPU 内核的形式语义和验证翻译。 该项目引入了首个用于形式化验证 Rust GPU 内核语义的框架，它将 Rust ...