Contributor

Xavier Clerc

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

OCaml 41 659,332

Coq 50 198,433

Open-Source Project	Rank	Score
OCaml	41	659,332
Coq	50	198,433

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)