@t_uchida

24Contributions

4
Posts 16
Followees 11
Followers

Following Organizations

No Organizations you are following

Following tags(4)See all

Coq yhpg Haskell どう書く

$ analyze @t_uchida

posted articles:

どう書く:100%
Haskell:75%
yhpg:75%
Coq:25%
ssreflect:25%

answered questions:

No data

Articles Questions Likes

Posted Articles Commented Articles Edit Requests