LoginSignup
TrendQuestionEventOpportunitiesOrganizationQiita Blog
Help us understand the problem. What are the problem?
MIZUNO Hiroki
@mzp
657Contributions
16
Posts74
Followees467
Followers
Coqなどによるプログラムの正しさの検証・証明に興味があります。
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
ArticlesQuestionsLGTM
Posted ArticlesCommented ArticlesEdit Requests