Mirai IKEBUCHI (@mir-ikbch)
github

mir-ikbch

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    14
  • Global Rank 798,133 (Top 28 %)
  • Followers 12
  • Registered over 7 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 135,062
  • Country Ranking
    OCaml
         245

Top repositories

1

compl_coq

OCaml
8
star
2

homtrs

OCaml
6
star