Reservoir
No results found
All Packages
alloy
Write C shims from within Lean code.
Readme
Versions (1)
Displaying
1-1
of
1
versions of
alloy
Sort by
Date
Not a part of any version track.
a712058
2 months ago
Released on July 22, 2024 at 5:10:09PM
Commit a712058 builds on its old leanprover/lean4:v4.9.1
v4.9.1
35.2 MB
Build archive size: 35210587 bytes.
1
20