-
Stars5
-
Global Rank 1,435,387 (Top 50 %)
-
Followers 8
-
Following 4
-
Registered over 9 years ago
-
Most used languagesEmacs Lisp50.0 %Coq 50.0 %
-
Location 🇰🇷 South Korea
-
Country Total Rank 12,804
-
Country RankingCoq 6Emacs Lisp53
