Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

2 points | by adamnemecek 7 hours ago