Rankings
Badges
/
renatoleme
Rankings
Badges
Overview
Ranks
Repositories
Languages
Renato Leme
@renatoleme
Refresh
Open GitHub
🇧🇷 São Paulo, Brasil
Profile age: over 9 years
Updated 12 days ago
5 followers • 12 following
Contacts
rntreisleme@gmail.com
renatoleme.github.io
Repositories
Forest
5
0
updated about 2 years ago • age about 2 years
Coq
100.0%
HeytingValuedSets
0
0
updated almost 3 years ago • age almost 3 years
TeX
100.0%
Contributions
