Repository navigation

Lean 4.35.0; version 0.2.0 - #53

Merged

david415 merged 2 commits into

mainfrom

Oct 26, 2026

Merged

Lean 4.35.0; version 0.2.0#53
david415 merged 2 commits into
mainfrom
lean-4.35.0

Commits on Oct 26, 2026
- Lean 4.35.0: VCVio v4.35.0 and its measure-based probability, Mathlib v4.35.0; version 0.2.0
  Mycroft
  committed
  4389d7b
- Pin cborg at v0.2.0
  Mycroft
  committed
  dedbe44