Patrick Bahr (@pa-ba)
  • Stars
    star
    207
  • Global Rank 119,999 (Top 5 %)
  • Followers 49
  • Registered about 12 years ago
  • Most used languages
    Haskell
    42.1 %
    Coq
    31.6 %
    Agda
    10.5 %
    Idris
    10.5 %
    Lean
    5.3 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 521
  • Country Ranking
    Lean
    2
    Coq
    3
    Idris
    3
    Agda
    6