GitHub / fgdorais / lean4-unicode-basic
Basic Unicode support for Lean 4
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/fgdorais%2Flean4-unicode-basic
Stars: 9
Forks: 5
Open issues: 0
License: apache-2.0
Language: Lean
Size: 10.8 MB
Dependencies parsed at: Pending
Created at: about 2 years ago
Updated at: 8 days ago
Pushed at: 3 days ago
Last synced at: 3 days ago
Loading...