Installing Lean on Ubuntu
Build Dependencies
Please ensure you have the following build tools available and then follow the generic build instructions.
Basic packages
sudo apt-get install git libgmp-dev cmake ccache clang
Please ensure you have the following build tools available and then follow the generic build instructions.
sudo apt-get install git libgmp-dev cmake ccache clang