Меня давно занимает идея оформить разные математические знания в формате цифрового сада. Ведь математическая теория так и строится - в виде постоянно развивающейся цепочки связей. Сначала аксиомы и определения, потом теоремы и новые определения, и так до бесконечности.