-
Stars9
-
Global Rank 1,034,169 (Top 36 %)
-
Followers 19
-
Following 9
-
Registered almost 10 years ago
-
Most used languagesHaskell66.7 %Isabelle 16.7 %Scala16.7 %
-
Location 🇬🇧 United Kingdom
-
Country Total Rank 32,257
-
Country RankingIsabelle 15Haskell244Scala942
