Formalizing Nvidia PTX in Lean to Prove GPU Kernel Correctness

2 points | by adamnemecek an hour ago

No comments yet