Get the latest tech news

Show HN: Cuq – Formal Verification of Rust GPU Kernels

Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels - neelsomani/cuq

None

Get the Android app