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