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
    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: 44608 bytes.
  2. 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
  3. 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