仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
No Organizations you are following
Contributions
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
article is Liked