Help us understand the problem. What is going on with this user?
須原 浩道
@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。

愛知県犬山市

ProofCafe - 名古屋Coq勉強会

$ analyze @suharahiromichi
posted articles
  • Coq:74%
  • ssreflect:72%
  • MathComp:58%
  • 証明:33%
  • 数学:23%
LGTMed articles
  • Coq:27%
  • Prolog:16%
  • Haskell:7%
  • ssreflect:6%
  • Ruby:5%
answered questions
    No data