[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"8vfuaAcKLR":3},"# Statlib\n\nLean formalization project for probability and statistics.\n",1783784677674]