Function ProofPanel 

pub fn ProofPanel(_: ProofPanelProps) -> Element

Proof panel component - displays proof status, tactics, and derivation tree

Props

For details, see the props struct definition.

• proof_text : String

  The derivation tree as a formatted string (use DerivationTree::display_tree())

• status : ProofStatus

  Current proof status

• hint : Option<String>

  Optional Socratic hint

• on_tactic : EventHandler<Tactic>

  Callback when a tactic button is clicked