Frédéric Blanqui (@fblanqui)
github

fblanqui

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    34
  • Global Rank 448,285 (Top 16 %)
  • Followers 18
  • Registered almost 10 years ago
  • Most used languages
    Coq     50.0 %
    OCaml
         50.0 %
  • Location 🇫🇷 France
  • Country Total Rank 10,741
  • Country Ranking
    Coq     13
    OCaml
         285

Top repositories

1

color

Coq library on rewriting theory and termination
Coq
32
star
2

moca

Generator of OCaml construction functions for quotient types
OCaml
2
star