Provas formais a caminho de revolucionar a matemática de fronteira. Parabéns @HarmonicMath!