Package: acl2-books (4.0-3)

[ Source: acl2  ]

Una lógica informática para «Applicative Common Lisp»: bibliotecas compiladas

ACL2 es tanto un lenguaje de programación en el que puede modelar sistemas informáticos como una herramienta para ayudarle a probar propiedades de esos modelos.

Este paquete contiene numerosas bibliotecas precompiladas y precertificadas para usarse en la prueba de teoremas con ACL2. Los usuarios serios no deberían dudar en instalarse este paquete

Tags: Software Development: Interpreter, Lisp Development, Libraries, Field: Mathematics, Implemented in: Lisp, Role: Application Data, Works with: Source Code

Other Packages Related to acl2-books

• dep: acl2 (= 4.0-3)

  Una lógica informática para «Applicative Common Lisp»: binario principal

• dep: acl2-books-certs (= 4.0-3)

  Una lógica informática para «Applicative Common Lisp»: certificados de bibliotecas

• dep: acl2-books-source (= 4.0-3)

  Una lógica informática para «Applicative Common Lisp»: fuentes de las bibliotecas

Download acl2-books

Download for all available architectures

Architecture	Package Size	Installed Size	Files
sparc	36,113.2 kB	118,632.0 kB	[list of files]