定理証明系や論理プログラミングに興味をもっています。
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