No results found

proofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets
Displaying 1-20 of 86 versions of proofwidgets
Sort by
  1. Not a part of any version track.
    44d41ee
    v0.0.54-pre
    2 days 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
  2. Not a part of any version track.
    a602d13
    v0.0.53
    13 days ago
    Released on March 3, 2025 at 1:28:10PM
    Commit a602d13 builds on its recent leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    7.8 MB Build archive size: 7810198 bytes.
  3. Not a part of any version track.
    a602d13
    v0.0.53
    13 days ago
    Released on March 3, 2025 at 1:28:10PM
    Commit a602d13 builds on its recent leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    7.8 MB Build archive size: 7810198 bytes.
  4. Not a part of any version track.
    799f698
    v0.0.52
    13 days 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
  5. Not a part of any version track.
    6b234dc
    v0.0.52-pre3
    21 days 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
  6. Not a part of any version track.
    322a050
    v0.0.52-pre2
    a month ago
    Released on February 12, 2025 at 4:21:10AM
    Commit 322a050 builds on its recent leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    7.9 MB Build archive size: 7861562 bytes.
  7. Not a part of any version track.
    8fff3f0
    v0.0.52-pre
    a month ago
    Released on February 3, 2025 at 2:33:32PM
    Commit 8fff3f0 builds on its recent leanprover/lean4:v4.17.0-rc1
    v4.17.0-rc1
    7.9 MB Build archive size: 7860644 bytes.
  8. Not a part of any version track.
    dafff53
    v0.0.51
    a month ago
    Released on February 3, 2025 at 9:01:17AM
    Commit dafff53 builds on its old leanprover/lean4:v4.16.0
    v4.16.0
    7.9 MB Build archive size: 7858821 bytes.
  9. Not a part of any version track.
    d090902
    v0.0.51-pre
    2 months ago
    Released on January 20, 2025 at 1:22:37PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2025-01-20
  10. Not a part of any version track.
    79b4948
    v0.0.51-pre1
    2 months ago
    Released on January 8, 2025 at 6:40:42AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    pr-release-6571
  11. Not a part of any version track.
    07f60e9
    v0.0.50
    2 months ago
    Released on January 4, 2025 at 5:21:07AM
    Commit 07f60e9 builds on its old leanprover/lean4:v4.16.0-rc1
    v4.16.0-rc1
    7.8 MB Build archive size: 7841584 bytes.
  12. Not a part of any version track.
    08171c2
    v0.0.49
    2 months ago
    Released on January 4, 2025 at 3:26:23AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0
  13. Not a part of any version track.
    70fad3a
    v0.0.49-pre2
    3 months ago
    Released on December 20, 2024 at 2:13:31PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0-rc1
  14. Not a part of any version track.
    1f4ff06
    v0.0.49-pre1
    3 months ago
    Released on December 19, 2024 at 9:43:21AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    nightly-2024-12-19
  15. Not a part of any version track.
    2b000e0
    v0.0.48
    3 months ago
    Released on December 2, 2024 at 3:02:11AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.15.0-rc1
  16. Not a part of any version track.
    68280da
    v0.0.47
    3 months ago
    Released on December 2, 2024 at 12:22:35AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0
  17. Not a part of any version track.
    5f1a4a0
    v0.0.47-pre
    4 months ago
    Released on November 24, 2024 at 3:02:05AM
    Commit 5f1a4a0 builds on its old leanprover/lean4:v4.14.0-rc1
    v4.14.0-rc1
    7.8 MB Build archive size: 7837712 bytes.
  18. Not a part of any version track.
    1383e72
    v0.0.46
    4 months ago
    Released on November 4, 2024 at 1:12:55AM
    Commit 1383e72 builds on its old leanprover/lean4:v4.14.0-rc1
    v4.14.0-rc1
    7.8 MB Build archive size: 7817601 bytes.
  19. Not a part of any version track.
    4d58e47
    v0.0.45
    4 months ago
    Released on November 4, 2024 at 12:57:21AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.14.0-rc1
  20. Not a part of any version track.
    23268f5
    v0.0.44
    4 months ago
    Released on November 1, 2024 at 4:25:47PM
    Commit 23268f5 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    7.3 MB Build archive size: 7316091 bytes.