Package: acl2-books-certs (8.3dfsg-2)

[ Source: acl2  ]

logica computazionale per Applicative Common Lisp: certificati di libreria

ACL2 è sia un linguaggio di programmazione con cui modellare sistemi di calcolo sia uno strumento per convalidare le proprietà di questi modelli.

Questo file contiene record di certificazione per le varie librerie precompilate contenute nel pacchetto ACL2-books. ACL2 essenzialmente necessita che tutti i libri inclusi siano certificati prima di essere usati.

Tags: Software Development: Interpreter, Lisp Development, devel::library, field::mathematics, Implemented in: Lisp, User Interface: interface::text-mode, role::app-data, Role: Development Library, Program, Interface Toolkit: uitoolkit::ncurses, works-with::software:source

Other Packages Related to acl2-books-certs

• dep: acl2 (>= 8.3dfsg-2)

  logica computazionale per Applicative Common Lisp: binari principali

• dep: tex-common (>= 6.13)

  infrastruttura comune per compilare e installare TeX

Download acl2-books-certs

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	141,980.6 kB	503,228.0 kB	[list of files]