Rare find

ProofWidgets4. Helper toolkit for creating your own Lean 4 UserWidgets

github.com/leanprover-community/ProofWidgets4

@leanprover-community

Problem

Audience

Updates

No founder updates yet. Check back soon.