Show HN: Cuq – Formal Verification of Rust GPU Kernels | Hacker News

Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com)

93 points by nsomani 3 days ago | 63 comments

Loading...