Notre équipe de Vérification Formelle a formalisé des polynômes multivariés calculables dans Lean. cc @leanprover C'est une base pour un raisonnement plus solide, vérifié par machine, dans les preuves zk et la conception de protocoles. 🔗 1/