proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 89 versions of proofwidgets
1-20Sort by
Date
430b769
ea95324
v0.0.56v4.19.0-rc2e578ba4
v0.0.55v4.19.0-rc1bb700f4
v0.0.54v4.18.044d41ee
v0.0.54-prenightly-2025-03-14a602d13
799f698
v0.0.52v4.17.06b234dc
v0.0.52-pre3nightly-2025-02-22322a050
8fff3f0
dafff53
d090902
v0.0.51-prenightly-2025-01-2079b4948
v0.0.51-pre1pr-release-657107f60e9
08171c2
v0.0.49v4.15.070fad3a
v0.0.49-pre2v4.15.0-rc11f4ff06
v0.0.49-pre1nightly-2024-12-192b000e0
v0.0.48v4.15.0-rc168280da
v0.0.47v4.14.05f1a4a0