Giters
fgdorais
/
lean4-unicode-basic
Basic Unicode support for Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
2
Issues:
1
Forks:
2
fgdorais/lean4-unicode-basic Issues
Incorrect version in lean-toolchain
Closed
a year ago
Comments count
1