Contributor

Xavier Leroy

Collège de France

Overview

Global Rank

#2,709 18,063,289 points

Social Links

Project Contributions

Project Rank Score
OCaml #2 18,003,523
Coq #151 23,933

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md

[![OSSRank](https://ossrank.com/widget/378397)](https://ossrank.com/c/378397-xavier-leroy-college-de-france)