lean2/README.md
2014-10-08 08:06:33 -07:00

3 KiB

logo

LicenseUbuntuOS XWindowsCoverageBuilds/TestsStatic Analysis
Coverity Scan Build Status

About

Requirements

Installing required packages at

Windows

Linux

OS X

Build Instructions

Miscellaneous