Pietro Monticone

@pitmonticone

Open GitHub

🇮🇹 Trento, Italy

University of Trento

Profile age: over 7 years

Updated 3 days ago

928 followers • 0 following

Contacts

@PietroMonticone

@pietromonticone.bsky.social

Organizations

Profile Overview

Global Italy

Global Rank

Legend 2

Persona

Influencer

#134,000

#74,996

#8,121

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

LeanProject

updated 13 days ago • age about 1 year

Python100.0%

EnergySystemModelling

updated almost 3 years ago • age over 5 years

Jupyter Notebook96.8%

TeX3.2%

PlantDiseaseClassification

updated almost 4 years ago • age about 5 years

HTML64.4%

Jupyter Notebook35.1%

TeX0.4%

SocialMediaEgoGraphAnalysis

updated over 2 years ago • age about 5 years

Jupyter Notebook66.3%

HTML33.5%

Python0.2%

pitmonticone

updated 20 days ago • age almost 5 years

View all 17 repositories

Last Contributions

2025
FLT
~31 PRs +25-25
Lean
706
95
25
equational_theories
~19 PRs +126-121
Lean
428
89
3
PhysLean
~17 PRs +135-271
Lean
358
42
leanblueprint
2 PRs +3-9
Python
241
44
mathematics_in_lean_source
3 PRs +51-50
Lean
171
88
7

View all contributions

Latest Updates

30 Sep 2025
Followers Count:919 928
16 Sep 2025
Followers Count:898 919
02 Sep 2025
Followers Count:886 898
18 Aug 2025
Followers Count:871 886
04 Aug 2025
Followers Count:861 871
06 Jan 2025
First seen

Subscribe to pitmonticone's GitHub rank updates in your messenger

WhatsApp Telegram