PierreLescanne - GitHub Analytics

@PierreLescanne

🇫🇷 Lyon

Ecole normale superieure de Lyon

Profile age: over 10 years

Updated 5 days ago

6 followers • 1 following

Global Rank

Beginner 2

Persona

Creator

#1,141,464

N/A

#1,916,070

Top 3 Languages By Stars

updated over 3 years ago • age over 4 years

Haskell100.0%

updated about 5 years ago • age over 9 years

Coq100.0%

Subscribe to PierreLescanne's GitHub rank updates in your messenger