Pietro Monticone
@pitmonticone
- Country
- Italy
- Rank
- #23
- Profile
- View on GitHub
- Company
- University of Trento
- Location
- Trento, Italy
- Blog/Website
- -
- -
- @PietroMonticone
- Hireable
- -
- Public Repos
- 706
- Public Gists
- 0
- Account
- User
- Joined GitHub
- Apr 20, 2018 (7 years, 8 months ago)
- Last Updated
- Dec 10, 2025 22:32
Bio
Informal Mathematics @UniTrento || Formal Mathematics at @Harmonic-AI || Formalising in @LeanProver || Developing in @JuliaLang and @Python.
Followers
1,005
Following
0
Contributions (last year)
5,514
Similar Developers
