Help us understand the problem. What are the problem?
MIZUNO Hiroki
@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。

No Organizations you are following

$ 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