chore: Update Lean to v4.27.0#28

samuelburnham merged 3 commits intomainargumentcomputer/Blake3.lean:mainfrom

lean-v4.27.0argumentcomputer/Blake3.lean:lean-v4.27.0Copy head branch name to clipboard