GPU Transformation Verifier WORK IN PROGRESS. DO NOT USE. This repository contains a Lean library to verify MCL kernels (or GPU kernels in general). Contribution As of this writing, this code is part of my Master thesis. Therefore, I cannot accept any PRs.