Reservoir
No results found
All Packages
lean2wasm
Tool for compiling Lean to WASM
#wasm
Readme
Versions (1)
Dependencies (3)
Displaying
1-1
of
1
versions of
lean2wasm
Sort by
Date
Not a part of any version track.
28620e1
7 months ago
Released on March 17, 2024 at 10:16:15PM
Commit 28620e1 builds on its old leanprover/lean4:v4.6.1
v4.6.1
1
20