fredokun/pave — pull request #2 by pcouderc (2013-11-24 20:44:05+00:00)
Title: Mu-Calculus : result

Our result for the binome : Pierrick Couderc & Basil Duvernoy