proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 73 versions of proofwidgets
1-20Sort by
Date
3b2633d
2b000e0
v0.0.48v4.15.0-rc168280da
v0.0.47v4.14.05f1a4a0
1383e72
4d58e47
v0.0.45v4.14.0-rc123268f5
5632ca0
v0.0.44-pre3nightly-2024-10-21b533521
v0.0.44-pre5749pr-release-5749c6672b4
032cf93
v0.0.44-prenightly-2024-10-16baa65c6
cd20dae
v0.0.43-prenightly-2024-10-02eb08eee
6f9a1b9
v0.0.42-pre2nightly-2024-08-093c96786
v0.0.42-prenightly-2024-08-08a96aee5
c879086
v0.0.40v4.10.0-rc1d1b3320
87c1e7a
v0.0.38v4.9.0-rc2