Contributor

Xavier Clerc

Score (Rank): 868,112 #46,528
Github Profile Stats
Links: github.com/xclerc
Has contributed to: Open-Source Project Rank Score

OCaml 40 674,803

Coq 52 193,309

Open-Source Project	Rank	Score
OCaml	40	674,803
Coq	52	193,309

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/378396)](https://ossrank.com/c/378396-xavier-clerc)