Reservoir
No results found
All Packages
webeditor
Helper tool for projects run in lean4web
Readme
Versions (3)
Displaying
1-3
of
3
versions of
webeditor
Sort by
Date
Not a part of any version track.
7c66739
3 months ago
Released on July 26, 2024 at 10:23:47AM
Commit 7c66739 builds on its old leanprover/lean4:nightly
nightly
44.6 KB
Build archive size: 44616 bytes.
Not a part of any version track.
5f47e50
v4.3.0
10 months ago
Released on December 18, 2023 at 3:36:10PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
stable
Not a part of any version track.
06a38fc
v4.3.0-rc1
10 months ago
Released on December 18, 2023 at 3:35:15PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.3.0-rc1
1
20