nekketsuuu
Formal methods / Type theory / OCaml / Go / C++
1
answer
3
questions
~499
people reached
-
Japan
-
Member for 2 years, 4 months
-
24 profile views
-
Last seen Feb 12 at 5:55