¿Soporta mono Code Contracts? Es decir. si construyo una biblioteca de clases, ¿los usuarios mono pueden usar mi ensamblaje?¿Contratos de código para mono?
Si no, ¿hay alguna biblioteca alternativa? Preferiblemente admitiendo el análisis estático (a través de un complemento o similar en el estudio visual)
Hubo un desarrollo adicional en Google SoC 2011 y 2012. La versión de vista previa 2.11.4 parece incorporar este código: http://tirania.org/blog/archive/2012/Oct-02.html –