François Pottier (@fpottier)
  • Stars
    star
    128
  • Global Rank 173,405 (Top 6 %)
  • Followers 87
  • Registered over 11 years ago
  • Most used languages
    OCaml
    71.4 %
    Coq
    28.6 %
  • Location 🇫🇷 France
  • Country Total Rank 5,130
  • Country Ranking
    Coq
    16
    OCaml
    39