# Lean / Lake build output
.lake/
*.olean
