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