.lake
lean-toolchain
lake-manifest.json
