Contributor

yoshihiro503

Score (Rank): 13,440 #420,117
Has contributed to: Open-Source Project Rank Score

Coq 180 9,786

Tezos 264 3,654

Open-Source Project	Rank	Score
Coq	180	9,786
Tezos	264	3,654

If this is your profile, you can copy the following line into your Github README.MD to show your OSSRank stats as an embedded widget

[![](https://ossrank.com/widget/554082)](https://ossrank.com/c/554082-yoshihiro503)