Kyllä, Erdőn ongelmien todistaminen @HarmonicMath Aristoteleen kanssa on hienoa, mutta oletko kokeillut käyttää sitä LeetCode-tyylisten ratkaisujen varmistamiseen? Meillä on. Se toimii (invariantti päättely on... ei vielä nopeasti).