No results found

proofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets
Displaying 1-20 of 64 versions of proofwidgets
Sort by
  1. Not a part of any version track.
    032cf93
    v0.0.44-pre
    13 hours ago
    Released on October 17, 2024 at 1:29:20AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2024-10-16
  2. Not a part of any version track.
    baa65c6
    v0.0.43
    14 days ago
    Released on October 3, 2024 at 12:48:03PM
    Commit baa65c6 builds on its recent leanprover/lean4:v4.13.0-rc1
    v4.13.0-rc1
    7.2 MB Build archive size: 7227222 bytes.
  3. Not a part of any version track.
    baa65c6
    v0.0.43
    14 days ago
    Released on October 3, 2024 at 12:48:03PM
    Commit baa65c6 builds on its recent leanprover/lean4:v4.13.0-rc1
    v4.13.0-rc1
    7.2 MB Build archive size: 7227222 bytes.
  4. Not a part of any version track.
    cd20dae
    v0.0.43-pre
    15 days ago
    Released on October 2, 2024 at 10:24:38AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2024-10-02
  5. Not a part of any version track.
    eb08eee
    v0.0.42
    a month ago
    Released on September 3, 2024 at 4:35:10AM
    Commit eb08eee builds on its recent leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1
    7.2 MB Build archive size: 7246441 bytes.
  6. Not a part of any version track.
    6f9a1b9
    v0.0.42-pre2
    2 months ago
    Released on August 9, 2024 at 11:37:27AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2024-08-09
  7. Not a part of any version track.
    3c96786
    v0.0.42-pre
    2 months ago
    Released on August 8, 2024 at 11:48:41AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2024-08-08
  8. Not a part of any version track.
    a96aee5
    v0.0.41
    2 months ago
    Released on August 5, 2024 at 3:26:29AM
    Commit a96aee5 builds on its old leanprover/lean4:v4.11.0-rc1
    v4.11.0-rc1
    7.1 MB Build archive size: 7140783 bytes.
  9. Not a part of any version track.
    c879086
    v0.0.40
    3 months ago
    Released on July 24, 2024 at 12:09:26AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.10.0-rc1
  10. Not a part of any version track.
    d1b3320
    v0.0.39
    4 months ago
    Released on July 1, 2024 at 1:24:09AM
    Commit d1b3320 builds on its old leanprover/lean4:v4.10.0-rc1
    v4.10.0-rc1
    7.1 MB Build archive size: 7131654 bytes.
  11. Not a part of any version track.
    87c1e7a
    v0.0.38
    4 months ago
    Released on June 27, 2024 at 2:29:39PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc2
  12. Not a part of any version track.
    eba621c
    v0.0.38-pre4560
    4 months ago
    Released on June 25, 2024 at 11:37:59PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    pr-release-4560
  13. Not a part of any version track.
    fc8f85b
    v0.0.37
    4 months ago
    Released on June 24, 2024 at 8:06:10PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc2
  14. Not a part of any version track.
    b749e7d
    v0.0.37-pre2
    4 months ago
    Released on June 24, 2024 at 2:06:34PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.9.0-rc2
  15. Not a part of any version track.
    d10328b
    v0.0.37-pre
    4 months ago
    Released on June 24, 2024 at 9:01:49AM
    Commit d10328b builds on its old leanprover/lean4:v4.9.0-rc2
    v4.9.0-rc2
  16. Not a part of any version track.
    e6b6247
    v0.0.36
    5 months ago
    Released on May 7, 2024 at 4:37:16AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0-rc1
  17. Not a part of any version track.
    fe1eff5
    v0.0.35
    6 months ago
    Released on May 2, 2024 at 11:59:36AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.8.0-rc1
  18. Not a part of any version track.
    12c74a1
    v0.0.35-pre
    6 months ago
    Released on April 30, 2024 at 8:14:06AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2024-04-30
  19. Not a part of any version track.
    ee5fa67
    v0.0.34
    6 months ago
    Released on April 28, 2024 at 5:01:06AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  20. Not a part of any version track.
    cb9dbe3
    v0.0.33
    6 months ago
    Released on April 18, 2024 at 8:21:56PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0