lean-quantum

Lean formalization of the theory of quantum information and quantum computation