About Francesco Macrì

I am a passionate, self-directed learner of mathematics with a particular focus on formal sciences, including the formalization of mathematics, software verification, and advanced computational and theoretical frameworks.

Lists

Timeline

{username} has no activity yet