Egbert Rijke (@EgbertRijke)
  • Stars
    star
    389
  • Global Rank 71,927 (Top 3 %)
  • Followers 134
  • Following 2
  • Registered about 13 years ago
  • Most used languages
    TeX
    55.6 %
    Agda
    22.2 %
    Lean
    22.2 %
  • Location 🇸🇮 Slovenia
  • Country Total Rank 53
  • Country Ranking
    Agda
    1
    Lean
    1
    TeX
    11