proofwidgets
Helper toolkit for creating your own Lean 4 UserWidgets
of 62 versions of proofwidgets
1-20Sort by
Date
baa65c6
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-rc2eba621c
v0.0.38-pre4560pr-release-4560fc8f85b
v0.0.37v4.9.0-rc2b749e7d
v0.0.37-pre2v4.9.0-rc2d10328b
e6b6247
v0.0.36v4.8.0-rc1fe1eff5
v0.0.35v4.8.0-rc112c74a1
v0.0.35-prenightly-2024-04-30ee5fa67
v0.0.34v4.7.0cb9dbe3
v0.0.33v4.7.07d64898
v0.0.32v4.7.04be5bfc