vortex-ai/leanprover-community--ProofWidgets4public

Helper toolkit for creating your own Lean 4 UserWidgets

Lean Updated 16 days ago 1 commits 231 stars
vortex-ai|Mirror: leanprover-community/ProofWidgets4 (⭐231)
16 days ago

About

Helper toolkit for creating your own Lean 4 UserWidgets

Readme
231 stars
49 forks