LoginSignup
TrendQuestionOfficial EventOfficial ColumnOpportunitiesOrganization

須原 浩道

@suharahiromichi

380Contributions
64
Posts40
Followees39
Followers

定理証明系や論理プログラミングに興味をもっています。

publichttps://sites.google.com/site/suharahiromichi/
location_on

愛知県犬山市

work

ProofCafe - 名古屋Coq勉強会

Following Organizations

No Organizations you are following

$ analyze @suharahiromichi

posted articles:
  • Coq:77%
  • ssreflect:58%
  • MathComp:47%
  • 証明:23%
  • Prolog:20%
answered questions:
  • No data

Pickup Articles