GitHub repository: EdAyers/WidgetKit
Primary language: Lean
Created: 2022-11-15T09:42:27Z
Description: Helper toolkit for creating your own Lean 4 UserWidgets