What is coinduction? Posted by Dave Clarke, at cs.stackexchange.com, 19 Mar 2012 I've heard of (structural) induction. It allows you to build up finite structures from smaller ones and gives you proof…