History of Science and Math Stack Exchange
History of Science and Math Stack Exchange

M. Lonardi
141
reputation
3
  • Verona, Italy
  • Member since October 09 2022
  • 9 profile views
  • Last seen Mar 31 '24 at 14:15

One day I will make the most beautiful proof assistant in the world. If not, I will become the king of pirates.