Rankings
Badges
/
PierreLescanne
Rankings
Badges
Overview
Ranks
Repositories
Languages
@PierreLescanne
Refresh
Open GitHub
🇫🇷 Lyon
Ecole normale superieure de Lyon
Profile age: over 10 years
Updated 6 days ago
6 followers • 1 following
Contacts
pierre.lescanne@ens-lyon.fr
http://perso.ens-lyon.fr/pierre.lescanne/
Repositories
CanonicalExpression
5
1
updated over 3 years ago • age over 4 years
Haskell
100.0%
DependentTypesForExtensiveGames
2
1
updated about 5 years ago • age over 9 years
Coq
100.0%
Contributions
