LoginSignup
TrendQuestionOrganizationEventQiita Blog
Help us understand the problem. What are the problem?
Takumi Shimoda
@darshimo
0Contributions
0
Posts0
Followees4
Followers

Tokyo, Japan

University of Tokyo

Following tags

F*SATSMTZ3leanCoqRust定理証明アルゴリズム競技プログラミング関数型プログラミングHaskellOCaml
$ analyze @darshimo
posted articles
    No data
LGTMed articles
  • Git:15%
  • Haskell:12%
  • Vim:11%
  • GitHub:10%
  • Rust:10%
answered questions
    No data
ArticlesQuestionsLGTM
LGTMed ArticlesLGTMed CommentsLGTMed AnswersLGTMed Questions