Pietro Monticone

University of Trento Trento, Italy Informal Mathematics @UniTrento || Formal Mathematics at Harmonic || Formalising in @LeanProver || Developing in @JuliaLang and @Python.