Ya lo estoy viendo, voy a Estados Unidos, nos meten a mi y a Parikh de variables de entrada con esos enunciados en Coq y sale que el teorema es cierto.
Ya lo estoy viendo, voy a Estados Unidos, nos meten a mi y a Parikh de variables de entrada con esos enunciados en Coq y sale que el teorema es cierto.
tiflolinux.org - GNU Social is a social network, courtesy of tiflolinux.org. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All tiflolinux.org - GNU Social content and data are available under the Creative Commons Attribution 3.0 license.