## proofwidgets

Helper toolkit for creating your own Lean 4 UserWidgets

**1-20**of

**62**versions of

**proofwidgets**

Sort by

Date

`baa65c6`

`cd20dae`

v0.0.43-prenightly-2024-10-02`eb08eee`

`6f9a1b9`

v0.0.42-pre2nightly-2024-08-09`3c96786`

v0.0.42-prenightly-2024-08-08`a96aee5`

`c879086`

v0.0.40v4.10.0-rc1`d1b3320`

`87c1e7a`

v0.0.38v4.9.0-rc2`eba621c`

v0.0.38-pre4560pr-release-4560`fc8f85b`

v0.0.37v4.9.0-rc2`b749e7d`

v0.0.37-pre2v4.9.0-rc2`d10328b`

`e6b6247`

v0.0.36v4.8.0-rc1`fe1eff5`

v0.0.35v4.8.0-rc1`12c74a1`

v0.0.35-prenightly-2024-04-30`ee5fa67`

v0.0.34v4.7.0`cb9dbe3`

v0.0.33v4.7.0`7d64898`

v0.0.32v4.7.0`4be5bfc`