[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"4YbMbTpThS":3},"# lean-quantum\nLean formalization of the theory of quantum information and quantum computation \n",1780242004008]