ACL2s

por Georgia Tech Research Corporation and Northeastern University.

Ooops

Vaya, el enlace de descarga ya no está

Tipo de licencia: Código abierto

Descargas totales:1

Latest version:4.4.2

Reportar información incorrecta

Descripción

Captura de pantalla

ACL2s 4.4.2 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. ACL2s forma parte del grupo de programas Educación y Ciencia. Originariamente, esta herramienta sin coste la diseñó Georgia Tech Research Corporation and Northeastern University.

Del desarrollador:

ACL2 is a powerful system for integrated modeling, simulation, and inductive reasoning. Under expert control, it has been used to verify some of the most complex theorems to have undergone mechanical verification. In addition to its maturity and stability, these qualifications make it a good platform for learning about industrial-strength theorem proving.

Quizás esté interesado en probar otros programas, como Solar Walk - 3D Solar System model, TinkerTool System o AJA System Test, que podrían ser similares a ACL2s.

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos