![suharahiromichi](http://cdn.qiita.com/assets/icons/large/missing-profile-image-828ed5829a93fbb35746a6c0f7c8107e.png)
定理証明系や論理プログラミングに興味をもっています。
Location
愛知県犬山市
Organization
ProofCafe - 名古屋Coq勉強会
Following Organizations
No Organizations you are following
$ analyze @suharahiromichi
posted articles:
- Coq:78%
- ssreflect:60%
- MathComp:49%
- 証明:22%
- 数学:21%
answered questions:
- No data