GitHub repository: leanprover-community/ProofWidgets4
Primary language: Lean
Description: Helper toolkit for creating your own Lean 4 UserWidgets