Seminar
Mnacho Echenim
on the 28 April 2021
2 pm
Projective Measurements and the CHSH inequality with Isabelle/HOL
Location
Mis à jour le 16 April 2021