Rankings
Badges
/
AntoineChambert-Loir
Rankings
Badges
Overview
Ranks
Repositories
Languages
Antoine Chambert-Loir
@AntoineChambert-Loir
Refresh
Open GitHub
🇫🇷 Paris
Université Paris Cité
Profile age: over 12 years
Updated 14 days ago
14 followers • 1 following
Contacts
antoine.chambert-loir@u-paris.fr
https://webusers.imj-prg.fr/~antoine.chambert-loir/index.xhtml
@achambertloir
@antoinechambertloir@mathstodon.xyz
https://freedommathdance.blogspot.com/
Repositories
DividedPowers4
5
1
updated 11 days ago • age over 2 years
Lean
99.5%
TeX
0.5%
Sion4
2
0
updated about 1 month ago • age over 2 years
Lean
100.0%
divided_powers
1
0
updated over 2 years ago • age over 3 years
Lean
100.0%
Sion
0
0
updated about 2 years ago • age over 2 years
Lean
100.0%
Representations
0
3
updated 4 months ago • age 4 months
Lean
100.0%
Contributions
2020
lftcm2020
1 PR
+1
-0
Lean
68
75
2013
stacks-project
1 PR
+1
-1
TeX
962
154
