Qiita Teams that are logged in
You are not logged in to any team
Log in to Qiita Team
Community
OrganizationAdvent CalendarQiitadon (β)Service
Qiita JobsQiita ZineQiita BlogIssue report
Coqなどによるプログラムの正しさの検証・証明に興味があります。
Nagoya, Japan.
$ 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