Rankings
Badges
/
brunofx86
Rankings
Badges
Overview
Ranks
Repositories
Languages
Bruno Xavier
@brunofx86
Refresh
Open GitHub
🇧🇷 Brazil
UFRN
Profile age: over 13 years
Updated 15 days ago
3 followers • 4 following
Contacts
brunofx86@gmail.com
Repositories
LL
10
0
updated over 8 years ago • age over 8 years
Coq
97.6%
Makefile
2.4%
LLFramework
0
0
updated over 2 years ago • age about 3 years
Coq
100.0%
Contributions
2020
coq-fll
~11 PRs
+1,025
-995
Coq
0
1
