Introduction to type safety in a quantum program

Tutorial on quantum advantage for Monte Carlo rollouts

Tutorial on program synthesis using MCTS