仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Qiita Engineer Festa
0Participation
Participating posting campaigns0Articles
Posted articlesFollowing Organizations
No Organizations you are following
$ analyze @tnagao7
posted articles:
- Haskell:29%
- Java:14%
- Scala:14%
- 型:14%
- VSCode:14%
answered questions:
- No data