Skip to content

chore: vendor checkdecls for the Lean 4.34.1 bump - #42

Closed
sosudo wants to merge 1 commit into
sinhp:masterfrom
sosudo:poly-01-checkdecls
Closed

chore: vendor checkdecls for the Lean 4.34.1 bump#42
sosudo wants to merge 1 commit into
sinhp:masterfrom
sosudo:poly-01-checkdecls

Commits

  1. Commits on Nov 9, 2026