Toutes les news taguées avec ce sujet.
Une bibliothèque Lean 4 formalise les protocoles et théorèmes fondamentaux de la théorie de l'information quantique.