Contributor

Sébastien Hinderer

Score (Rank): 5,211,222 #11,388
Works for: Inria
Has contributed to: Open-Source Project Rank Score

OCaml 9 5,176,710

Coq 133 23,016

Open edX 987 10,905

StatsD 89 591

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)