Block or report user
  • Kyoto. JAPAN

Popular repositories

  1. xyzzy-fsharp-mode

    F# mode for xyzzy


  2. completenessproofs

    Coq 1

27 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity First issue First repository Joined GitHub

January - August 2017

kozima has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.