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

Funded by Gobierno de La Rioja
Duration: from 01 January 2010 to 31 October 2012

Researchers