Login
Signup
Trend
Question
Event
Opportunities
Organization
Qiita Blog
Issue report
Help us understand the problem. What are the problem?
It's violation of community guideline
It's illegal
It's socially inappropriate
It's spam
Submit
MIZUNO Hiroki
@mzp
657
Contributions
16
Posts
74
Followees
467
Followers
Coqなどによるプログラムの正しさの検証・証明に興味があります。
Follow
http://mzp.hatenablog.com/
Nagoya, Japan.
Following tags
CircleCI
$ analyze @mzp
posted articles
Ruby:
25%
Xcode:
19%
iOS:
19%
reasonml:
19%
CI:
13%
LGTMed articles
Ruby:
33%
Python:
17%
Go:
17%
OCaml:
17%
Git:
17%
answered questions
No data
Articles
Questions
LGTM
Posted Articles
Commented Articles
Edit Requests