@OKU_K

25Contributions

4
Posts 61
Followees 17
Followers

神奈川で社会人してます。

Location

Kanagawa, Japan

Following Organizations

No Organizations you are following

Following tags(13)See all

React fish ProofGeneral Git Scala TeX OCaml Coq Qiita JavaScript Scheme Haskell Emacs

Following Organizations

No following Organizations

Find Organizations to follow

Search Organizations