2 ms·Lean://gap is a high schooler's protocol for the real world8 points by untilHellbanned 12y agodeleted 12y ago[deleted]