島根県松江市在住。 たぶんフロントエンドエンジニア
Location
Matsue, Japan
Following Organizations
No Organizations you are following
$ analyze @spinylobster
posted articles:
- Haskell:50%
- lean4:13%
- lean:13%
- AtCoder:13%
- チューリングマシン:13%
answered questions:
- No data