Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
Reduce the left/right statement padding.
The longer padding makes it look there is an extra space on each end (even though there isn't). More importantly to me, the extra space can create unnecessary new lines on a smartphone when showing relatively simple expressions in the 2+2=4 proof.
Reduce the left/right statement padding. The longer padding makes it look there is an extra space on each end (even though there isn't). More importantly to me, the extra space can create unnecessary new lines on a smartphone when showing relatively simple expressions in the 2+2=4 proof.