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
Topics
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