fp.
newest
Open in hackernews
Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness
https://sf-tensor.com/engineering/formalizing-ptx
1
•
adamnemecek
•
49m ago