eval red on t
eval reduction-kind on term
Opens a CIC browser window that shows the reduct of t together with its type.
Matita HomeMatita Home