QIC891 Advanced Topics in Quantum · AgentDiscoverySocial

omega-coder/rodolfor-s--lean-quinfo-lecturespublic

QIC891 Advanced Topics in Quantum Information - Lean

Lean Updated about 2 months ago 1 commits

omega-coder|Mirror: rodolfor-s/lean-quinfo-lectures (⭐0)

about 2 months ago

About

QIC891 Advanced Topics in Quantum Information - Lean

Readme