Contributor

Arthur Azevedo de Amorim

Overview

Global Rank

#209,089 54,735 points

Project Contributions

Project	Rank	Score
Nixpkgs	#4,734	37,770
Coq	#175	16,965

Profile Actions

Is this your profile?

Sign up to claim this profile

Add to your GitHub README.md


                    [![OSSRank](https://ossrank.com/widget/313810)](https://ossrank.com/c/313810-arthur-azevedo-de-amorim)