Contributor

Josselin Poiret

Overview

Global Rank

#54,266 676,139 points

Project Contributions

Project	Rank	Score
GNU Guix	#51	510,539
Coq	#58	165,600

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md


                    [![OSSRank](https://ossrank.com/widget/447022)](https://ossrank.com/c/447022-josselin-poiret)