Contributor

Xavier Leroy

Collège de France

Overview

Global Rank

#2,751 17,803,089 points

Social Links

Project Contributions

Project Rank Score
OCaml #2 17,794,326
Coq #151 24,024

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)