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

Basic Unicode support for Lean 4

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

About

Basic Unicode support for Lean 4

Readme
16 stars
13 forks