Albin Coquereau (@ACoquereau)
github

ACoquereau

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    12
  • Global Rank 874,315 (Top 31 %)
  • Followers 6
  • Following 7
  • Registered almost 11 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 17,102
  • Country Ranking
    OCaml
         125

Top repositories

1

psmt2-frontend

A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
OCaml
10
star