-
Stars25
-
Global Rank 556,620 (Top 20 %)
-
Followers 27
-
Following 3
-
Registered over 12 years ago
-
Most used languagesAgda 37.5 %Java12.5 %TeX12.5 %Scheme12.5 %Haskell12.5 %Coq 12.5 %
-
Location π©πͺ Germany
-
Country Total Rank 23,764
-
Country RankingAgda 3Coq 30Scheme70Haskell335TeX1,000
