Package: acl2-books-certs (8.5dfsg-5)

Computational logik for Applicative Common Lisp - bibliotekscertifikater

ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.

Denne fil indeholder certifikationselementer til forskellige prækompilerede biblioteker, som leveres i pakken ACL2-books. ACL2 kræver essentielt set at alle inkluderede bøger skal certificeres før brug.

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

This page is also available in the following languages (How to set the default document language):