proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 105 versions of proofwidgets
1-20Sort by
Date
e6e5f29
v4.23.0-rc27.7 MB6e47cc8
v0.0.71v4.23.0-rc27.7 MB0c1d7d3
v0.0.69v4.22.057a4713
v0.0.70v4.23.0-rc17.7 MB1253a07
v0.0.68v4.22.0-rc47.8 MB96c6715
v0.0.67v4.22.0-rc37.8 MBe33ec3e
v0.0.66v4.22.0-rc27.8 MB3440f29
v0.0.65v4.22.0-rc17.8 MB8b1978d
v0.0.64v4.21.02d6d124
v0.0.63-prenightly-2025-06-0466eae76
v0.0.63v4.21.0-rc37.8 MB6980f6c
v0.0.62v4.21.0-rc27518aca
v0.0.61v4.21.0-rc121e6a05
v0.0.60v4.20.0632ca63
v0.0.59v4.20.0-rc27.9 MBc2fc3e2
v0.0.58v4.20.0-rc17.9 MBc491918
v0.0.57v4.19.0ea95324
v0.0.56v4.19.0-rc2e578ba4
v0.0.55v4.19.0-rc1bb700f4
v0.0.54v4.18.0