Spiro SiderisinHackerNoon.comWriting Code like a Mathematical ProofBeginning in my early years of software development, I was interested in the way formal math shared similarities with writing code. In…Nov 24, 20178Nov 24, 20178