Don't have Telegram yet? Try it now!
https://hgpu.org/?p=18896
CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs