Coqなどによるプログラムの正しさの検証・証明に興味があります。
location_on
Nagoya, Japan.
Following Organizations
No Organizations you are following
$ analyze @mzp
posted articles:
- Ruby:25%
- Xcode:19%
- iOS:19%
- reasonml:19%
- CI:13%
answered questions:
- No data