chore: Update to Lean 4.26.0 and latest lean4-nix#26

samuelburnham merged 1 commit intomainargumentcomputer/Blake3.lean:mainfrom

nix-lakeargumentcomputer/Blake3.lean:nix-lakeCopy head branch name to clipboard