alle opties
[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Bron: acl2  ]

Pakket: acl2-infix (8.6+dfsg-3 en anderen)

Verwijzigingen voor acl2-infix

Screenshot

Debian bronnen:

Het bronpakket acl2 downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

Computational Logic for Applicative Common Lisp: infix interface

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

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

Andere aan acl2-infix gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

acl2-infix downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 8.4dfsg-2 502,1 kB3.045,0 kB [overzicht]
amd64 8.6+dfsg-3 864,8 kB5.744,0 kB [overzicht]
arm64 8.6+dfsg-3 833,5 kB5.249,0 kB [overzicht]
armel 8.6+dfsg-3 813,3 kB3.580,0 kB [overzicht]
armhf 8.6+dfsg-3 846,4 kB3.557,0 kB [overzicht]
hppa (unofficial port) 8.6+dfsg-3 990,6 kB4.415,0 kB [overzicht]
i386 8.6+dfsg-3 852,5 kB3.665,0 kB [overzicht]
loong64 (unofficial port) 8.6+dfsg-3 1.065,0 kB8.248,0 kB [overzicht]
m68k (unofficial port) 8.5dfsg-2 442,5 kB2.245,0 kB [overzicht]
mips64el 8.6+dfsg-3 874,9 kB5.509,0 kB [overzicht]
ppc64 (unofficial port) 8.6+dfsg-3 852,4 kB5.794,0 kB [overzicht]
ppc64el 8.6+dfsg-3 882,0 kB5.930,0 kB [overzicht]
riscv64 8.6+dfsg-3 1.893,6 kB24.146,0 kB [overzicht]
s390x 8.6+dfsg-3 862,9 kB5.590,0 kB [overzicht]
sh4 (unofficial port) 8.4dfsg-2 479,4 kB1.810,0 kB [overzicht]
sparc64 (unofficial port) 8.6+dfsg-3 878,2 kB5.825,0 kB [overzicht]
x32 (unofficial port) 8.6+dfsg-3 868,8 kB4.226,0 kB [overzicht]