A Haskell, Maxima lover, PhD in physics. About to leave qiita, perhaps.
Following Organizations
No Organizations you are following
$ analyze @bra_cat_ket
posted articles:
- Haskell:86%
- アルゴリズム:19%
- 数学:14%
- Agda:10%
- 定理証明:10%
answered questions:
- No data