-
Stars126
-
Global Rank 175,502 (Top 7 %)
-
Followers 42
-
Following 26
-
Registered almost 12 years ago
-
Most used languagesTeX33.3 %OCaml26.7 %Coq 20.0 %Standard ML 13.3 %Emacs Lisp6.7 %
-
Location 🇯🇵 Japan
-
Country Total Rank 3,712
-
Country RankingStandard ML 3Coq 4OCaml25TeX30Emacs Lisp345
