Pakiet: acl2-books (8.5dfsg-5 i inne)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: skompilowane biblioteki

ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.

Pakiet zawiera wiele prekompilowanych i precertyfikowanych bibliotek używanych do udowodnienia twierdzeń z ACL2. Poważni użytkownicy bez wątpienia zechcą zainstalować ten pakiet.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, devel::library, field::mathematics, Zaimplementowane w: Lisp, Rola: role::app-data, role::program, Działa z: Kod źródłowy

Inne pakiety związane z acl2-books

• dep: acl2 (= 8.4dfsg-2) [alpha, sh4]

  Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

  dep: acl2 (= 8.5dfsg-1) [x32]

  dep: acl2 (= 8.5dfsg-2) [m68k]

  dep: acl2 (= 8.5dfsg-5) [hppa]

  dep: acl2 (= 8.5dfsg-5+b1) [nie alpha, hppa, m68k, mips64el, riscv64, sh4, x32]

  dep: acl2 (= 8.5dfsg-5+b2) [mips64el, riscv64]

• dep: acl2-books-certs (= 8.4dfsg-2) [alpha, sh4]

  Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek

  dep: acl2-books-certs (= 8.5dfsg-1) [x32]

  dep: acl2-books-certs (= 8.5dfsg-2) [m68k]

  dep: acl2-books-certs (= 8.5dfsg-5) [nie alpha, m68k, sh4, x32]

• dep: acl2-books-source (= 8.4dfsg-2) [alpha, sh4]

  Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe bibliotek

  dep: acl2-books-source (= 8.5dfsg-1) [x32]

  dep: acl2-books-source (= 8.5dfsg-2) [m68k]

  dep: acl2-books-source (= 8.5dfsg-5) [nie alpha, m68k, sh4, x32]

Pobieranie acl2-books

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	8.4dfsg-2	289 668,4 KiB	2 492 023,0 KiB	[lista plików]
amd64	8.5dfsg-5+b1	294 256,6 KiB	2 459 993,0 KiB	[lista plików]
arm64	8.5dfsg-5+b1	296 953,5 KiB	2 468 589,0 KiB	[lista plików]
armel	8.5dfsg-5+b1	276 815,1 KiB	1 669 610,0 KiB	[lista plików]
armhf	8.5dfsg-5+b1	282 431,0 KiB	1 612 789,0 KiB	[lista plików]
hppa (port nieoficjalny)	8.5dfsg-5	316 071,0 KiB	1 933 250,0 KiB	[lista plików]
i386	8.5dfsg-5+b1	253 513,0 KiB	1 506 613,0 KiB	[lista plików]
m68k (port nieoficjalny)	8.5dfsg-2	250 602,4 KiB	1 794 077,0 KiB	[lista plików]
mips64el	8.5dfsg-5+b2	319 145,9 KiB	2 674 075,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	8.5dfsg-5+b1	289 742,9 KiB	2 596 644,0 KiB	[lista plików]
ppc64el	8.5dfsg-5+b1	298 194,8 KiB	2 625 207,0 KiB	[lista plików]
riscv64	8.5dfsg-5+b2	736 953,9 KiB	10 749 304,0 KiB	[lista plików]
s390x	8.5dfsg-5+b1	288 226,3 KiB	2 468 272,0 KiB	[lista plików]
sh4 (port nieoficjalny)	8.4dfsg-2	253 509,8 KiB	1 510 880,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	8.5dfsg-5+b1	280 840,9 KiB	2 521 570,0 KiB	[lista plików]
x32 (port nieoficjalny)	8.5dfsg-1	77 761,8 KiB	511 392,0 KiB	[lista plików]