Contributor

Jacques-Henri Jourdan

Overview

Global Rank

#89,044 279,994 points

Project Contributions

Project	Rank	Score
OCaml	#67	255,672
Coq	#180	13,572
Rust	#4,723	7,704
Crab	#3,330	3,046

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md


                    [![OSSRank](https://ossrank.com/widget/110972)](https://ossrank.com/c/110972-jacques-henri-jourdan)