Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
lean4-unicode-basic
Basic Unicode support for Lean 4
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
1mo ago
Recent commits
Latest commits.
feat: use modules (#127)
603cc6e
hatzka
2mo ago
chore: cleanup workflows
11ebdd5
F. G. Dorais
2mo ago
fix: typo
4418457
F. G. Dorais
2mo ago
fix: update nightly workflows
6b70392
F. G. Dorais
2mo ago
fix: update toolchain workflow (#140)
b5c77dc
François G. Dorais
2mo ago
fix: update toolchain v4.30.0-rc2 (#139)
05954ce
François G. Dorais
2mo ago
chore: update toolchain v4.30.0-rc2 (#138)
a816554
François G. Dorais
2mo ago
Fix Windows build with winsock headers (#136)
2de9525
Gabriel
2mo ago
Top contributors
Builders behind this project.
fgdorais
227 commits
dependabot[bot]
10 commits
kim-em
9 commits
SrGaabriel
2 commits
KislyjKisel
2 commits
notch1p
1 commits
bollu
1 commits
hatzka-nezumi
1 commits
