Soichiro Mori

@hylanger

46Contributions

21
Posts 1
Followees 2
Followers

Participating Organizations(1)

Following Organizations

No Organizations you are following

Following tags(10)See all

数学 Clojure lean lean4 Elixir lisp Haskell Ubuntu Linux Python

Followers

みなと @Prologの鬼！？@DrqYuto
(SWIPL)について、うるさい人です。
@orz_hz