Dan Piponi on Nostr: What I find interesting about this is that during my mathematical training I was ...

What I find interesting about this is that during my mathematical training I was taught there is but one way to do mathematics: ZFC. When I got to meet people working in proof verification I learnt that there is a whole world of formalisms out there.