Sim, provar os problemas de Erdő com @HarmonicMath Aristóteles é ótimo, mas você já tentou usar para verificar soluções no estilo LeetCode? Temos. Funciona (inferência invariante é... ainda não é rápido).