GitHub repository: Deep0Thinking/ProofWidgets4
Description: Helper toolkit for creating your own Lean 4 UserWidgets