Skip to content
MCL kernel verification library
Lean
Branch: master
Clone or download
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.vscode
alt lean script to print definitions Jul 30, 2019
docs_out doc string pdf Jul 2, 2019
src move comment above the constructor Aug 13, 2019
.gitignore add scratch file to gitignore Mar 1, 2019
.travis.yml add _target to build cache Jul 29, 2019
Lumpy.toml demonstrate doc generation Jun 27, 2019
README.md
leanpkg.toml upgrade lean and mathlib Feb 21, 2019

README.md

MCL Verify

WORK IN PROGRESS. DO NOT USE.

Build Status

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.

You can’t perform that action at this time.