Direct Imported Duplicates

 Direct Imported Duplicates🔗

Compiled2026-08-12T14:07:47ZProjectc3b8a93Merge pull request #421 from leanprover/chore/lean-4.33-finalLeanleanprover/lean4:v4.33.0VersoBlueprintc3b8a93

Contents

  1. Blueprint Summary