This looks very interesting! Can someone with more understanding than me explain what this is about? :) EDIT: Found this: http://zelus.di.ens.fr/ http://zelus.

This looks very interesting! Can someone with more understanding than me explain what this is about? :) EDIT: Found this: http://zelus.di.ens.fr/ http://zelus.di.ens.fr/