# cache and other artifacts produced by Lean's Lake build tool
.lake/