Add a `trace` mechanism to save the trace tree in a more readable way. - Githubissues

tirix / rumm

A tactics-based Metamath proof language

4 stars 3 forks source link

Add a `trace` mechanism to save the trace tree in a more readable way. #8

Open tirix opened 1 year ago