Hi! I'm Alessandro, PhD mathematician turned ML engineer. I build production-ready AI systems for real-time and data-driven applications. Welcome to my GitHub!
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedOct 14, 2025 -
-
-
-
Lean-AG Public
Lean formalisation project in algebraic geometry.
Lean Apache License 2.0 UpdatedSep 17, 2025 -
-
-
IBM-SpaceX-DS-Project Public
This repository contains files used for the completion of the IBM Data Science professional certificate.
Jupyter Notebook UpdatedAug 23, 2024