/.lake
/Benchmark.lean
/lake-manifest.json
