Mais um marco na verificação formal. Formalizar polinómios computáveis em Lean é um passo significativo em direção a uma verificação zk reutilizável e fiável. Um enorme crédito à equipa de Verificação Formal da Nethermind por impulsionar isto.