nForum - Discussion Feed (QPMC)2024-03-28T13:14:32+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "QPMC" (107475)https://nforum.ncatlab.org/discussion/16095/?Focus=107475#Comment_1074752023-03-03T07:27:27+00:002024-03-28T13:14:32+00:00Urshttps://nforum.ncatlab.org/account/4/
some minimum on the QPMC quantum protocol verification tool.
Though I am unsure in which sense this physically exists.
v1, current
some minimum on the QPMC quantum protocol verification tool.
Though I am unsure in which sense this physically exists.