仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
No Organizations you are following
Contributions
article is Liked
article is Stocked
article is Liked
article is Stocked
article is Stocked
article is Liked
article is Liked
article is Liked
article is Liked
article is Liked