Mathlib v3 is deprecated. Go to Mathlib v4

Inductive tactic.explode.status

Modification history

2020-07-05 10:40
src/tactic/explode.lean
doc(tactic/explode): expand doc string (#3271) …
Modified tactic.explode.statusView on Github →
2018-08-31 01:45
tactic/explode.lean
feat(tactic/explode): line by line proof display for proof terms
Added tactic.explode.statusView on Github →