Show HN: Cuq – Formal Verification of Rust GPU Kernels

[nsomani]

Article URL: https://github.com/neelsomani/cuq

Comments URL: https://news.ycombinator.com/item?id=45674126

Points: 53

# Comments: 35