/.lake
/lake-manifest.json
/lean-toolchain
