Stream: quantum computing

Topic: Measurement

view this post on Zulip Anthony Bordg (Aug 20 2019 at 17:11):

I created a theory Measurement.thy dedicated to measurements and in particular all the stuff related to select_index.
All the other theories have been updated accordingly and my master branch is up-to-date.
With this reorganization the library is a bit more modular.
@Hanna Lachnitt @Yijun He

Last updated: Dec 07 2023 at 16:21 UTC