タコ 所長

@presTako

47Contributions
16
Posts5
Followees2
Followers
Location

Saitama, Japan

Following Organizations

No Organizations you are following

$ analyze @presTako

posted articles:
  • メモ:63%
  • lean4:50%
  • lean:50%
  • Haskell:25%
  • lean-lang:13%
answered questions:
  • No data