tnagao7
(tnagao7)

Usage start date: 03/24/2022

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

Your Groups

申込イベントはありません。