Package: acl2-books (8.0dfsg-1)

[ Source: acl2  ]

Computational logik for Applicative Common Lisp - kompilerede biblioteker

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 pakke indeholder talrige prækompilerede og præcertificerede biblioteker til brug for at bevise teoremer med ACL2. Seriøse brugere vil uden tvivl ønske at installere denne pakke.

Tags: Software Development: Interpreter, Lisp Development, devel::library, field::mathematics, Implemented in: Lisp, Role: role::app-data, role::program, Works with: Source Code

Other Packages Related to acl2-books

• dep: acl2 (= 8.0dfsg-1)

  Beregningslogik for Applicative Common Lisp - hoved binær fil

• dep: acl2-books-certs (= 8.0dfsg-1)

  Computational logik for Applicative Common Lisp - bibliotekscertifikater

• dep: acl2-books-source (= 8.0dfsg-1)

  Computational logik for Applicative Common Lisp - bibliotekskilder

Download acl2-books

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	134,713.3 kB	1,265,065.0 kB	[list of files]
arm64	138,036.8 kB	1,283,102.0 kB	[list of files]
armhf	122,433.5 kB	717,085.0 kB	[list of files]
i386	113,279.4 kB	702,523.0 kB	[list of files]