Skip to content

chore: update HoTTLean to Lean 4.34.1 - #178

Open
sosudo wants to merge 362 commits into
sinhp:masterfrom
sosudo:pr
Open

chore: update HoTTLean to Lean 4.34.1#178
sosudo wants to merge 362 commits into
sinhp:masterfrom
sosudo:pr

Commits

This pull request is big! We're only showing the most recent 250 commits

  1. Commits on Oct 28, 2026

  2. Commits on Oct 29, 2026

  3. Commits on Nov 2, 2026