Qiita Teams that are logged in
You are not logged in to any team

Log in to Qiita Team
Community
OrganizationEventAdvent CalendarQiitadon (β)
Service
Qiita JobsQiita ZineQiita Blog
Issue report
Help us understand the problem. What are the problem?
須原 浩道
@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。

愛知県犬山市

ProofCafe - 名古屋Coq勉強会

$ analyze @suharahiromichi
posted articles
  • Coq:76%
  • ssreflect:73%
  • MathComp:62%
  • 証明:31%
  • 数学:24%
LGTMed articles
  • Coq:27%
  • Prolog:14%
  • Haskell:7%
  • ssreflect:7%
  • 数学:6%
answered questions
    No data