tnagao7

tnagao7

(tnagao7)
Usage start date: 03/24/2022

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

No presentation events found.

tnagao7