Kolejny kamień milowy w formalnej weryfikacji. Formalizacja obliczalnych wielomianów w Lean to znaczący krok w kierunku wielokrotnego użytku i niezawodnej weryfikacji zk. Ogromne uznanie dla zespołu Formal Verification w Nethermind za posuwanie tego do przodu.