Pietro Monticone
@pitmonticoneAI for Mathematics @Harmonic-AI || Formalising Mathematics and Software in @LeanProver || Developing FOSS in @LeanProver, @JuliaLang and @Python.
Language Breakdown
Lines of code distribution across 28 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Jupyter Notebook
Collaboration Network
Global Impact visualization
Repos
1113
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
Resources for the Energy System Modelling course by Tom Brown at Karlsruhe Institute of Technology (2020).
Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.
Dataset Analysis & CNN Models Optimization for Plant Disease Classification.
Ego Graph Analysis on Social Media.
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
Profile repository of Pietro Monticone.
Reddit Gender Text-Classification.
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
BERT Sentiment Classification on the Large Movie Review Dataset.
EpiSimulator: A Data-Driven Stochastic Hybrid Model for COVID-19 in Italy.
Open Source Impact
Contributions to external projects
