Repository navigation

Bump Poly to v4.34.1 + some proof insertions - #41

Closed

sosudo wants to merge 11 commits into

sinhp:masterfrom

Closed

Bump Poly to v4.34.1 + some proof insertions#41
sosudo wants to merge 11 commits into
sinhp:masterfrom
sosudo:pr

Commits on Oct 11, 2026
- feat: bump Poly to Lean 4.34.1
  openhands-agent
  committed
  ce229b4
- UNITY: merge chunk Poly/MvPoly/Basic.lean:idApplyIso
  openhands-agent
  committed
  5416818
- UNITY: merge chunk Poly/MvPoly/Basic.lean:prod
  openhands-agent
  committed
  3ff0153
- UNITY: merge chunk Poly/UvPoly/Basic.lean:idApplyIso
  openhands-agent
  committed
  e5297a8
- UNITY: merge chunk Poly/ForMathlib/CategoryTheory/PartialProduct.lean:Fan.ext
  openhands-agent
  committed
  9b15d26
- UNITY: merge chunk Poly/UvPoly/Basic.lean:smul
  openhands-agent
  committed
  87b103d
- UNITY: merge chunk sumEquiv
  openhands-agent
  committed
  e89e930
- UNITY: merge chunk equiv
  openhands-agent
  committed
  1486040
- docs: mark proofs completed by Unity
  openhands-agent
  committed
  cc08a1f
Commits on Nov 2, 2026
- Clean up Poly sources and documentation for upstream
  sosudo
  committed
  ba73d51
Commits on Nov 9, 2026
- chore: restore upstream formatting around the Lean changes
  sosudo
  committed
  2feaff4