neelsomani/cuq

A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs

94 best points · 63 comments · 1 Hacker News post · 134 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Cuq – Formal Verification of Rust GPU Kernels (94 points, 63 comments, by nsomani, 2025-10-22)