Really nice "proof guide": https://gaearon.github.io/conway-refinement/#/highlights

and "proof map": https://gaearon.github.io/conway-refinement/#/map/conway-ref...