定理証明系や論理プログラミングに興味をもっています。
Following Organizations
No Organizations you are following
$ analyze @suharahiromichi
posted articles:
- Coq:77%
- ssreflect:58%
- MathComp:47%
- 証明:23%
- Prolog:20%
answered questions:
- No data