← Participating in the RERS 2012 competition: liveness questions Proving (F oW) true or false: alternative method →
Interlude
Pascal Cuoq - 22nd Aug 2012The RERS competition series of posts is about to get more technical (yes, really). Here is a refreshing diversion, in the form of a link to a mathematical blog post.