☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependents (3)
alloy
Write C shims from within Lean code.
Displaying
1-1
of
1
versions of
alloy
Sort by
Date
Not a part of any version track.
bbb9416
2 months ago
Released on May 21, 2025 at 4:52:21AM
Commit bbb9416 builds on its old leanprover/lean4:v4.19.0
v4.19.0
56.4 MB
Build archive size: 56448651 bytes.
1
20