仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
No Organizations you are following
Following Organizations
No following Organizations
Find Organizations to follow
Search Organizations仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
No Organizations you are following
No following Organizations
Find Organizations to follow
Search Organizations