Ano, dokazovat Erdősovy problémy pomocí @HarmonicMath Aristotela je skvělé, ale zkoušel jsi to použít k ověření řešení ve stylu LeetCode? Máme. Funguje to (invariantní inference je... Ještě ne rychle).