Contributor

Sébastien Hinderer

Score (Rank): 5,048,253 #11,727
Works for: Inria
Has contributed to: Open-Source Project Rank Score

OCaml 8 5,010,950

Coq 133 23,121

Open edX 978 10,848

StatsD 89 450

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)