定理証明系や論理プログラミングに興味をもっています。
Location
愛知県犬山市
Organization
ProofCafe - 名古屋Coq勉強会
Following Organizations
No Organizations you are following
$ analyze @suharahiromichi
posted articles:
- Coq:78%
- ssreflect:59%
- MathComp:50%
- 証明:22%
- 数学:22%
answered questions:
- No data