Skip to content

chore: bump @leanprover/unicode-input to 0.1.10#769

Merged
mhuisi merged 1 commit intomasterfrom
bump/unicode-input-0.1.10
Apr 15, 2026
Merged

chore: bump @leanprover/unicode-input to 0.1.10#769
mhuisi merged 1 commit intomasterfrom
bump/unicode-input-0.1.10

Commits

Commits on Apr 15, 2026