search
LoginSignup
@t_uchida

No Organizations you are following

$ analyze @t_uchida

posted articles:
  • どう書く:
    100%
  • Haskell:
    75%
  • yhpg:
    75%
  • Coq:
    25%
  • ssreflect:
    25%
answered questions:
  • No data