Robin Berjon @robinberjon · 24 Jan 2014 Replying to @vgholkar yeah, geometry actually works well with a certain type of mechanical proof.
