LoginSignup

@OKU_K

神奈川で社会人してます。

Location

Kanagawa, Japan

Following Organizations

No Organizations you are following

$ analyze @OKU_K

posted articles:
  • Coq:50%
  • Emacs:25%
  • fish:25%
  • ProofGeneral:25%
  • Agda:25%
answered questions:
  • No data