LoginSignup
  • @tnagao7

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

1 / 1