-
Stars8
-
Global Rank 1,106,139 (Top 39 %)
-
Followers 4
-
Following 10
-
Registered about 5 years ago
-
Most used languagesCoq 50.0 %Emacs Lisp25.0 %OCaml25.0 %
-
Location πΊπΈ United States
-
Country Total Rank 201,110
-
Country RankingCoq 116OCaml547Emacs Lisp2,625
