proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 86 versions of proofwidgets
1-20Sort by
Date
44d41ee
v0.0.54-prenightly-2025-03-14a602d13
a602d13
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
1383e72
4d58e47
v0.0.45v4.14.0-rc123268f5