Widgets vs PaperProof

Stream: new members

[Chris Taylor]

Hello. Is there any relationship between the user-widgets system and paper proof?

[𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒]

User widgets are a mechanism for visualization built into Lean. Afaik, PaperProof is built as a separate extension and is not a user widget.

[Chris Taylor]

Thank you. I'm going to take a look at https://github.com/leanprover-community/ProofWidgets4 in the first instance.