Comment by bogomipz

>"Also, there was a request to derive a formal proof while Ammon watched"

You were asked to drive a formal proof? Why exactly? How often is that asked at an actual tech interview?