Sign inSign up

leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

LeanStars 168Forks 41Watchers 168Open issues 14License Apache License 2.0
Details
仓库信息
Ownerleanprover-community
Homepage—
GitHubhttps://github.com/leanprover-community/ProofWidgets4
Last pushed2025-12-13
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--