Documentation
ProofWidgets
.
Component
.
PenroseDiagram
Search
return to top
source
Imports
Init
ProofWidgets.Component.Basic
ProofWidgets.Data.Html
Std.Data.HashMap
Imported by