Currently geeking out as WordPress developer at WebKinder and student of computer science at ETH.
A proof of the triangle inequality
Superiority of mathematical proof versus scientific evidence by example
A formal approach to twos complement binary representation of integers
There are infinitely many prime numbers and false proofs