Actualizando el tema del blog, a la versión 2.6 de Tarski: http://bit.ly/c1ikeD. Dentro de poco publicaré la traducción al español.
Actualizando el tema del blog, a la versión 2.6 de Tarski: http://bit.ly/c1ikeD. Dentro de poco publicaré la traducción al español.