Sí, demostrar los problemas de Erdő con @HarmonicMath Aristóteles es genial, pero ¿has probado a usarlo para verificar soluciones al estilo LeetCode? Tenemos. Funciona (la inferencia invariante es... Todavía no es rápido).