Rankings
Badges
/
ADedecker
Rankings
Badges
Overview
Ranks
Repositories
Languages
Anatole Dedecker
@ADedecker
Refresh
Open GitHub
🇫🇷 Paris, France
Université Paris-Cité
Profile age: over 6 years
Updated 8 days ago
19 followers • 9 following
Contacts
anatolededecker@gmail.com
Organizations
Profile Overview
Global
France
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in France
Adept 3
Persona
Influencer
N/A
#17,703
#13,244
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
ProperAction
2
0
updated over 1 year ago • age over 1 year
Lean
100.0%
Last Contributions
2025
FLT
2 PRs
+22
-24
Lean
731
97
27
leanprover-community.github.io
1 PR
+2
-2
CSS
64
160
2024
leanprover-community.github.io
1 PR
+5
-0
CSS
64
160
2021
sphere-eversion
1 PR
+180
-4
Lean
44
15
2020
leanprover-community.github.io
1 PR
+2
-0
CSS
64
160
View all contributions
Latest Updates
14 Sep 2025
Followers Count:
18
19
16 Jan 2025
First seen
Subscribe to ADedecker's GitHub rank updates in your messenger
WhatsApp
Telegram
