Contributor

Xavier Leroy

Collège de France

Overview

Global Rank

#2,647 18,254,765 points

Social Links

Project Contributions

Project Rank Score
OCaml #2 18,230,937
Coq #139 23,828

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)