Barry Jay (@Barry-Jay)
  • Stars
    star
    73
  • Global Rank 261,080 (Top 9 %)
  • Followers 45
  • Registered almost 9 years ago
  • Most used languages
    Coq
    80.0 %
    OCaml
    20.0 %
  • Location 🇦🇺 Australia
  • Country Total Rank 4,042
  • Country Ranking
    Coq
    2
    OCaml
    5