Computing and Proving (invited lecture)