.lake/
lake-manifest.json
lake-packages/
produced.out
# Working files copied from input/
/lakefile.toml
/lean-toolchain
/Main.lean
/MainDep.lean
/Lib/
/lean-toolchain
