Kazunari Tanaka (@tzskp1)
github

tzskp1

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 8
  • Following 5
  • Registered over 9 years ago
  • Most used languages
    Coq     50.0 %
    OCaml
         50.0 %
  • Location 🇯🇵 Japan
  • Country Total Rank 25,007
  • Country Ranking
    Coq     35
    OCaml
         173

Top repositories

1

sdg_coq

Coq
1
star
2

sloppy_lisp

My lisp interpreter in OCaml
OCaml
1
star