Documentation
ProofWidgets
.
Component
.
Panel
.
Basic
Search
return to top
source
Imports
Init
ProofWidgets.Compat
Lean.Elab.Tactic
Lean.Widget.Commands
ProofWidgets.Component.Basic
Imported by