ubuntu-16.04.md

January 23, 2018 ยท View on GitHub

Installing Lean on Ubuntu 16.04

Basic packages

sudo apt-get install git libgmp-dev cmake

Optional Packages: ninja

sudo apt-get install ninja

Contents

  1. 1Installing Lean on Ubuntu 16.04
  2. 1.1Basic packages
  3. 1.2Optional Packages: ninja