Automation to make proof more readable

Stream: new members

[Iocta]

Is there any automation tooling, eg to take a proof that uses rw/simp and turn it into a calc proof so I can see the progress more directly in the code? It would be easier to follow if I could see the state, but it's kinda annoying to write it all out myself.

[Richard Osborn]

There is a prototype for such a tactic called calcify. I believe this is the repository for it.