Scope
Quantum PL Wiki is a personally maintained encyclopedia of quantum programming languages, semantics and formal verification. It connects conceptual introductions, mathematical formulations and references to help readers build a map of the field.
How to read
For a first visit, start with the Reading paths . For a specific question, use the search at the top of the page or browse the Article index. Related entries are connected through links in the text.
This edition
This is the first demo edition. The entries are introductory drafts demonstrating the organization and reading experience. They have not yet been individually reviewed by the site owner and do not replace textbooks, research papers or official documentation. Each entry links to references for verification and further reading.
Editorial principles
Distinguish intuition, definitions and theorems. State the assumptions behind claims. Prefer original sources. The site is edited by its owner and is open to read without an account.
To understand a program is to know not only what it does, but why.