3 ms·

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

by mihau 16d ago

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

kevinwang 16d ago
My god, that proof map has so many parts O.O