https://hgpu.org/?p=19150
Verification of GPU Program Optimizations in Lean