alle opties
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Bron: acl2  ]

Pakket: acl2-infix (4.3-3)

Verwijzigingen voor acl2-infix

Screenshot

Debian bronnen:

Het bronpakket acl2 downloaden:

Beheerder:

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, works-with::software:source

Andere aan acl2-infix gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

acl2-infix downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 198,9 kB1.073,0 kB [overzicht]
armel 368,9 kB1.116,0 kB [overzicht]
armhf 400,7 kB1.197,0 kB [overzicht]
i386 179,8 kB645,0 kB [overzicht]
ia64 255,8 kB1.615,0 kB [overzicht]
kfreebsd-amd64 200,6 kB1.019,0 kB [overzicht]
kfreebsd-i386 178,1 kB579,0 kB [overzicht]
mips 226,2 kB792,0 kB [overzicht]
mipsel 214,3 kB798,0 kB [overzicht]
powerpc 218,4 kB779,0 kB [overzicht]
s390 166,5 kB548,0 kB [overzicht]
s390x 190,2 kB875,0 kB [overzicht]
sparc 211,7 kB724,0 kB [overzicht]