LGTM articles
Followees
Comment history
Edit request history
Issue report
Help us understand the problem. What is going on with this user?
MIZUNO Hiroki
@mzp
@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。

16

Posts

427

Contributions

472

Followers

http://mzp.hatenablog.com/

Nagoya, Japan.

Following tags

CircleCI
$ analyze @mzp
posted articles
  • Ruby:8%
  • Xcode:6%
  • iOS:6%
  • reasonml:6%
  • CI:4%
LGTMed articles
  • Ruby:14%
  • Python:7%
  • Go:7%
  • OCaml:7%
  • Git:7%
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
ユーザーは見つかりませんでした