Skip to content

chore: bump @leanprover/unicode-input to 0.1.11#783

Merged
mhuisi merged 1 commit into
masterfrom
bump/unicode-input-0.1.11
May 27, 2026
Merged

chore: bump @leanprover/unicode-input to 0.1.11#783
mhuisi merged 1 commit into
masterfrom
bump/unicode-input-0.1.11

Commits

Commits on May 27, 2026