@wataruY@github

3
Posts 0
Followees 2
Followers

Mailwataru.yamazaki.nullptr@gmail.com

Following Organizations

No Organizations you are following

Following tags(1)See all

$ analyze @wataruY@github

posted articles:

Coq:33%
Agda:33%
Haskell:33%

answered questions:

No data

Articles Questions Likes Public Stock List

Posted Articles Commented Articles Edit Requests