minimal gitpod code-place for generating new lean3 projects
.gitpod.yml file is used for gitpod to automatically setup the workspace of a repo. This project's yaml file is based on the lean community installation guide: https://leanprover-community.github.io/install/linux.html
The first line install elan, lean, leanpkg The next three lines install all depencies relating to the leanproject python library.
Can access the project on gitpod: https://gitpod.io/#https://github.com/FrederickPu/lean-project-generator