Geeks
fgdorais
/
lean4-unicode-basic
Basic Unicode support for Lean 4
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean4-unicode-basic GitHub
Markdown
Readme
1
Issue
8
Stargazers
2
Watchers
Stargazers
bergmannjg
Germany
fgdorais
University of Vermont
iehality
Tohoku University
j-nava
Toronto
joewatt95
sunny-g
@NearSpaceLabs
utensil