Skip to content

chore: bump minimal rocq version#2339

Merged
Alizter merged 1 commit intoHoTT:masterfrom
Alizter:push-stnmyvypstvk
Jan 11, 2026
Merged

chore: bump minimal rocq version#2339
Alizter merged 1 commit intoHoTT:masterfrom
Alizter:push-stnmyvypstvk

Commits

Commits on Jan 11, 2026