wow. bardzo ładnie i dobrze zrobione. jestem ciekaw, jak te narzędzia wpłyną na młodych matematyków i matematykę. częścią niezbędnego bólu w nauce matematyki jest bolesne reflektowanie nad dowodem, którego być może nigdy nie rozwiążesz, ale to ćwiczenie jest dobre do rozwijania struktury i intuicji.