Il nostro team di Verifica Formale ha formalizzato polinomi multivariati calcolabili in Lean. cc @leanprover Questa è una base per un ragionamento più robusto, verificato da macchina, nelle prove zk e nella progettazione di protocolli. 🔗 1/