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.