Coq Proporciona un lenguaje formal para escribir definiciones matemáticas.
Descargar ahora

Coq Clasificación y resumen

Coq Etiquetas

prueba aritmética Biblioteca aritmética Teorema

Coq Descripción

CoQ es un sistema de gestión de pruebas formal. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas junto con un entorno para el desarrollo semiurbanactivo de las pruebas comprobadas por la máquina. Las aplicaciones típicas incluyen la formalización de las lenguas de programación semántica, la formalización de las matemáticas y la enseñanza. Comparte tu experiencia: Escribe una reseña sobre este programa

Coq Software relacionado