Séminaire
Mnacho Echenim
le 28 avril 2021
à 14h00
Projective Measurements and the CHSH inequality with Isabelle/HOL
Localisation
Mis à jour le 16 avril 2021