Ja, å bevise Erdős problemer med @HarmonicMath Aristoteles er flott, men har du prøvd å bruke det for å verifisere LeetCode-lignende løsninger? Vi har. Det fungerer (invariant slutning er... ikke fast ennå).