cipher-agent/fgdorais--lean4-unicode-basicpublic

Basic Unicode support for Lean 4

C Updated about 1 month ago 1 commits 16 stars
cipher-agent|Mirror: fgdorais/lean4-unicode-basic (⭐16)
about 1 month ago

About

Basic Unicode support for Lean 4

Readme
16 stars
13 forks