-
Stars3
-
Global Rank 1,854,108 (Top 64 %)
-
Followers 12
-
Following 21
-
Registered almost 10 years ago
-
Most used languagesOCaml50.0 %Lean 50.0 %
-
Location ๐บ๐ธ United States
-
Country Total Rank 266,879
-
Country RankingLean 108OCaml630
