-
Stars13
-
Global Rank 834,067 (Top 29 %)
-
Followers 27
-
Following 9
-
Registered over 12 years ago
-
Most used languagesLean 42.9 %Python14.3 %C++14.3 %Isabelle 14.3 %Haskell14.3 %
-
Location 🇳🇱 Netherlands
-
Country Total Rank 13,709
-
Country RankingIsabelle 3Lean 4Haskell199C++2,293Python6,505
