No results found

webeditor

Helper tool for projects run in lean4web
Displaying 1-3 of 3 versions of webeditor
Sort by
  1. Not a part of any version track.
    7c66739
    5 months ago
    Released on July 26, 2024 at 10:23:47AM
    Commit 7c66739 builds on its old leanprover/lean4:nightly
    nightly
    45.3 KB Build archive size: 45291 bytes.
  2. Not a part of any version track.
    5f47e50
    v4.3.0
    a year 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
  3. Not a part of any version track.
    06a38fc
    v4.3.0-rc1
    a year 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