Help us understand the problem. What is going on with this user?
@tnagao7
仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
$ analyze @tnagao7
posted articles
  • Java:18%
  • Haskell:18%
  • VSCode:18%
  • Scala:12%
  • asciidoc:12%
LGTMed articles
  • Haskell:20%
  • Java:16%
  • Scala:7%
  • 新人プログラマ応援:7%
  • kubernetes:5%
answered questions
    No data