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

# Python
.venv
__pycache__

sandbox*
.vscode

# Doc build
site
