Rankings
Badges
/
madvorak
Rankings
Badges
Overview
Ranks
Repositories
Languages
Martin Dvořák
@madvorak
Refresh
Open GitHub
Czech Republic
Institute of Science and Technology, Austria
Profile age: over 11 years
Updated 8 days ago
57 followers • 57 following
Contacts
martin.dvorak@matfyz.cz
https://madvorak.github.io/
dvorakMFF
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Creator
#132,609
#466,694
#231,136
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
lean4-tactics
91
3
updated 3 months ago • age almost 2 years
lean4-cheatsheet
30
1
updated about 1 year ago • age over 2 years
TeX
100.0%
lean3-tactic-lean4
27
3
updated 11 months ago • age over 2 years
read-lean
19
1
updated 8 months ago • age about 1 year
Lean
100.0%
fecssk
13
1
updated over 1 year ago • age almost 2 years
Lean
100.0%
View all 14 repositories
Last Contributions
2025
lean4
1 PR
+1
-1
Lean
6,395
661
91
analysis
1 PR
+23
-23
Lean
1,196
153
equational_theories
~10 PRs
+4
-4
Lean
421
86
3
loogle
1 PR
+29
-29
Lean
98
19
carleson
~6 PRs
+71
-75
Lean
68
35
24
View all contributions
Latest Updates
26 Aug 2025
Followers Count:
56
57
14 Jul 2025
Followers Count:
54
56
30 Jun 2025
Followers Count:
51
54
16 Jan 2025
First seen
Subscribe to madvorak's GitHub rank updates in your messenger
WhatsApp
Telegram
