use flake

# Limit Lake/Lean builds to 3 threads
export LEAN_NUM_THREADS=3
