Show HN: Cuq – Formal Verification of Rust GPU Kernels

94 points

by nsomani

6 days ago

63 comments