Contributor

Sébastien Hinderer

Score (Rank): 5,071,549 #11,729
Works for: Inria
Has contributed to: Open-Source Project Rank Score

OCaml 8 5,036,740

Coq 132 23,023

Open edX 989 10,842

StatsD 89 944

If this is your profile, you can copy the following line into your Github README.MD to show your OSSRank stats as an embedded widget

[![](https://ossrank.com/widget/378340)](https://ossrank.com/c/378340-sebastien-hinderer-inria)