226 followers
1,514 followers
なんでTLで中心極限定理はやりだしたのかと思ったらこれが元ね。 https://t.co/AS5Mvm7nGn
225 followers
RT @t33f: 中心極限定理が Isabelle で証明されたそうです https://t.co/gmMjunnIB2
2,120 followers
RT @t33f: 中心極限定理が Isabelle で証明されたそうです https://t.co/gmMjunnIB2