-
Stars74
-
Global Rank 258,484 (Top 9 %)
-
Followers 7
-
Following 4
-
Registered over 12 years ago
-
Most used languagesAgda 33.3 %TeX33.3 %Emacs Lisp33.3 %
-
Location π·πΊ Russia
-
Country Total Rank 2,728
-
Country RankingAgda 3TeX10Emacs Lisp58
