Go to Qiita Advent Calendar 2024 Top
search
search
Search
Login
Signup
search
Trend
Question
Advent Calendar
Official Event
Official Column
open_in_new
Organization
more_horiz
@wataruY@github
rss_feed
9
Contributions
3
Posts
0
Followees
3
Followers
Follow
mail
Mail
wataru.yamazaki.nullptr@gmail.com
Following Organizations
No Organizations you are following
Following tags(1)
See all
Coq
$ analyze @wataruY@github
posted articles
:
Coq:
33%
Agda:
33%
Haskell:
33%
answered questions
:
No data
Articles
Questions
Likes
search
Search
Posted Articles
Commented Articles
Edit Requests