Jesper Bengtson (@jesper-bengtson)
  • Stars
    star
    11
  • Global Rank 920,336 (Top 32 %)
  • Followers 2
  • Registered about 11 years ago
  • Most used languages
    Coq
    75.0 %
    F#
    25.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 3,077
  • Country Ranking
    Coq
    9
    F#
    74