Reproduce “A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.