-
Stars89
-
Global Rank 225,995 (Top 8 %)
-
Followers 30
-
Following 2
-
Registered over 11 years ago
-
Most used languagesC++42.9 %Coq 28.6 %Agda 14.3 %Standard ML 14.3 %
-
Location 🇬🇧 United Kingdom
-
Country Total Rank 10,687
-
Country RankingCoq 1Standard ML 16Agda 25C++1,890
