leanprover-communityproofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets
Displaying 1-20 of 101 versions of proofwidgets
Sort by
  1. Not a part of any version track.
    96c6715
    v0.0.67
    8 days ago
    Released on July 4, 2025 at 3:34:13AM
    Commit 96c6715 builds on its recent leanprover/lean4:v4.22.0-rc3
    v4.22.0-rc3
    7.8 MB Build archive size: 7793165 bytes.
  2. Not a part of any version track.
    96c6715
    v0.0.67
    8 days ago
    Released on July 4, 2025 at 3:34:13AM
    Commit 96c6715 builds on its recent leanprover/lean4:v4.22.0-rc3
    v4.22.0-rc3
    7.8 MB Build archive size: 7793165 bytes.
  3. Not a part of any version track.
    e33ec3e
    v0.0.66
    11 days ago
    Released on June 30, 2025 at 11:12:18PM
    Commit e33ec3e builds on its recent leanprover/lean4:v4.22.0-rc2
    v4.22.0-rc2
    7.8 MB Build archive size: 7790285 bytes.
  4. Not a part of any version track.
    3440f29
    v0.0.65
    11 days ago
    Released on June 30, 2025 at 12:39:59PM
    Commit 3440f29 builds on its recent leanprover/lean4:v4.22.0-rc1
    v4.22.0-rc1
    7.8 MB Build archive size: 7789978 bytes.
  5. Not a part of any version track.
    8b1978d
    v0.0.64
    12 days ago
    Released on June 30, 2025 at 3:36:31AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0
  6. Not a part of any version track.
    2d6d124
    v0.0.63-pre
    a month ago
    Released on June 4, 2025 at 10:28:48AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2025-06-04
  7. Not a part of any version track.
    66eae76
    v0.0.63
    a month ago
    Released on June 4, 2025 at 10:04:10AM
    Commit 66eae76 builds on its recent leanprover/lean4:v4.21.0-rc3
    v4.21.0-rc3
    7.8 MB Build archive size: 7796653 bytes.
  8. Not a part of any version track.
    6980f6c
    v0.0.62
    a month ago
    Released on June 3, 2025 at 2:24:08PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc2
  9. Not a part of any version track.
    7518aca
    v0.0.61
    a month ago
    Released on June 2, 2025 at 7:01:37PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.21.0-rc1
  10. Not a part of any version track.
    21e6a05
    v0.0.60
    a month ago
    Released on June 2, 2025 at 3:02:41PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.20.0
  11. Not a part of any version track.
    632ca63
    v0.0.59
    2 months ago
    Released on May 2, 2025 at 9:47:46PM
    Commit 632ca63 builds on its old leanprover/lean4:v4.20.0-rc2
    v4.20.0-rc2
    7.9 MB Build archive size: 7905361 bytes.
  12. Not a part of any version track.
    c2fc3e2
    v0.0.58
    2 months ago
    Released on May 1, 2025 at 8:11:55PM
    Commit c2fc3e2 builds on its old leanprover/lean4:v4.20.0-rc1
    v4.20.0-rc1
    7.9 MB Build archive size: 7901410 bytes.
  13. Not a part of any version track.
    c491918
    v0.0.57
    2 months ago
    Released on May 1, 2025 at 4:01:44PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0
  14. Not a part of any version track.
    ea95324
    v0.0.56
    3 months ago
    Released on April 3, 2025 at 2:48:09AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0-rc2
  15. Not a part of any version track.
    e578ba4
    v0.0.55
    3 months ago
    Released on April 2, 2025 at 10:19:48AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0-rc1
  16. Not a part of any version track.
    bb700f4
    v0.0.54
    3 months ago
    Released on April 1, 2025 at 5:37:05AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  17. Not a part of any version track.
    44d41ee
    v0.0.54-pre
    4 months ago
    Released on March 14, 2025 at 12:35:42PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2025-03-14
  18. Not a part of any version track.
    a602d13
    v0.0.53
    4 months ago
    Released on March 3, 2025 at 1:28:10PM
    Commit a602d13 builds on its old leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    7.8 MB Build archive size: 7810198 bytes.
  19. Not a part of any version track.
    799f698
    v0.0.52
    4 months ago
    Released on March 3, 2025 at 10:21:03AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0
  20. Not a part of any version track.
    6b234dc
    v0.0.52-pre3
    5 months ago
    Released on February 23, 2025 at 11:34:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2025-02-22