Formalization fo Mathematics (ForMath) FP7 STREP projet, number 243847

Financed by Gobierno de La Rioja
Duration of the 01 of January of 2010 to 31 of October of 2012

Researchers