Reservoir
No results found
All Packages
UnicodeBasic
Basic Unicode support for Lean 4
Readme
Versions (4)
Dependents (45)
Displaying
1-4
of
4
versions of
UnicodeBasic
Sort by
Date
Not a part of any version track.
85ac5d8
a day ago
Released on October 5, 2024 at 4:59:56AM
Commit 85ac5d8 builds on its recent leanprover/lean4:v4.13.0-rc3
v4.13.0-rc3
2.4 MB
Build archive size: 2361134 bytes.
Not a part of any version track.
6d2e065
v1.0.2
5 days ago
Released on October 1, 2024 at 4:25:31AM
Commit 6d2e065 builds on its recent leanprover/lean4:v4.12.0
v4.12.0
2.4 MB
Build archive size: 2367724 bytes.
Not a part of any version track.
7f31364
v1.0.1
a month ago
Released on September 2, 2024 at 3:59:56PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.11.0
Not a part of any version track.
57c2943
v1.0.0
2 months ago
Released on August 9, 2024 at 11:05:13PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.10.0
1
20