# Lean
build
lake-packages/*
lakefile.olean
.lake
src/cache
cache

# Python
.venv
__pycache__

sandbox*
.vscode
*.lock

# Doc build
site

# MacOS
.DS_Store
