Documentation
ProofWidgets
Search
return to top
source
Imports
Init
ProofWidgets.Compat
ProofWidgets.Component.Basic
ProofWidgets.Component.FilterDetails
ProofWidgets.Component.ForceGraphDisplay
ProofWidgets.Component.GraphDisplay
ProofWidgets.Component.GraphvizDisplay
ProofWidgets.Component.HtmlDisplay
ProofWidgets.Component.InteractiveSvg
ProofWidgets.Component.MakeEditLink
ProofWidgets.Component.Maximizable
ProofWidgets.Component.OfRpcMethod
ProofWidgets.Component.PenroseDiagram
ProofWidgets.Component.Recharts
ProofWidgets.Component.RefreshComponent
ProofWidgets.Data.Html
ProofWidgets.Data.Svg
ProofWidgets.Extra.CheckHighlight
ProofWidgets.Presentation.Expr
ProofWidgets.Component.Panel.Basic
ProofWidgets.Component.Panel.GoalTypePanel
ProofWidgets.Component.Panel.SelectionPanel
Imported by