Show HN: Cuq – Formal Verification of Rust GPU Kernels

92 points

by nsomani

1 days ago

62 comments