Skip to content
All gists
Back to GitHub
Sign in
Sign up
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Instantly share code, notes, and snippets.
Pietro Monticone
pitmonticone
Mathematics
@unitrento
|| Formalising in
@leanprover
|| Modelling
@InPhyT
|| Developing in
@JuliaLang
|| Forecasting
@Metaculus
|| Reading
@goodreads
.
534
followers
·
22
following
University of Trento
Trento, Italy
X
@PietroMonticone
Mastodon
@PietroMonticone@bayes.club
YouTube
@PietroMonticone
View GitHub Profile
All gists
0
Starred
6
pitmonticone doesn’t have any public gists yet.
You can’t perform that action at this time.