Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

(sf-tensor.com) by adamnemecek | Nov 3, 2026 | 0 comments on HN