Select a proposition from the dropdown to begin debugging.
Use Step Over (O), Step Into (I),
Step Out (U) to navigate proofs.