@tnagao7

仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

Following Organizations

No Organizations you are following

$ analyze @tnagao7

posted articles:
  • Haskell:29%
  • Scala:14%
  • VSCode:14%
  • Java:14%
  • 型:14%
answered questions:
  • No data