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

samuelburnham merged 1 commit intomainargumentcomputer/LSpec:mainfrom

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