GitHub - neelsomani/cuq: Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verif...

https://github.com/neelsomani/cuq Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels - neelsomani/cuq