leanprover-community
ProofWidgets4
Lean

Helper toolkit for creating your own Lean 4 UserWidgets

Last updated Jun 28, 2026
214
Stars
46
Forks
13
Issues
0
Stars/day
Attention Score
87
Language breakdown
Lean 64.1%
TypeScript 31.9%
TeX 2.6%
JavaScript 1.2%
ASL 0.2%
Files click to expand
README
No README available.
🔗 More in this category

© 2026 GitRepoTrend · leanprover-community/ProofWidgets4 · Updated daily from GitHub