-
Stars26
-
Global Rank 542,735 (Top 19 %)
-
Followers 42
-
Following 4
-
Registered over 8 years ago
-
Most used languagesLean 37.5 %TeX25.0 %Agda 25.0 %Standard ML 12.5 %
-
Location 🇬🇧 United Kingdom
-
Country Total Rank 32,257
-
Country RankingAgda 21Lean 23Standard ML 36TeX351
