teaching

materials.

This page will soon contain more information about

Lean-verified Quantum Information Theory

A QIC891 minicourse.

  • Date and time: Tuesday and Thursday, 10:30am – 11:50am
  • Location: