Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

(sf-tensor.com)

2 points | by adamnemecek 7 hours ago ago