Contributor

Xavier Leroy

Collège de France

Overview

Global Rank

#2,664 18,194,773 points

Social Links

Project Contributions

Project Rank Score
OCaml #2 18,171,281
Coq #144 23,513

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)