chore: Use pre-built Lean binary in Nix build#22

samuelburnham wants to merge 1 commit intomainargumentcomputer/Blake3.lean:mainfrom

lean-nix-binaryargumentcomputer/Blake3.lean:lean-nix-binaryCopy head branch name to clipboard