leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
GitHub repository with 211 stars and 45 forks.
Language: Lean
Topics: lean, lean4, visualization
24h trend summary
Trending score 0.55, freshness score 1.00, stars gained +1, forks gained +0.
Latest metric snapshot
2026-06-15: 211 stars and 45 forks.