proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 112 versions of proofwidgets
1-20Sort by
Date
8499468
v0.0.75-pre3nightly-2025-10-023de7f36
v0.0.75-pre2nightly-2025-09-21524d83d
v0.0.75-prenightly-2025-09-18556caed
v0.0.74v4.24.0-rc17.8 MB556caed
v0.0.74v4.24.0-rc17.8 MBc8d5769
v0.0.73v4.24.0-rc14601350
v0.0.72v4.23.0557f206
v0.0.72-prenightly-2025-09-116e47cc8
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-rc1