[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]
[ Källkod: acl2  ]

Paket: acl2-infix (3.6-3 och andra)

A 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.

Märken: Software Development: Interpreter, Lisp Development, Bibliotek, Field: Matematik, Implemented in: Lisp, Role: Application Data, Works with: Source Code

Andra paket besläktade med acl2-infix

  • beror
  • rekommenderar
  • föreslår
  • dep: acl2 (= 3.1-1) [m68k]
    A Computational Logic for Applicative Common Lisp: main binary
    dep: acl2 (= 3.4-2) [hppa, ia64, mips, mipsel]
    dep: acl2 (= 3.6-1) [armel, s390]
    dep: acl2 (= 3.6-2) [sparc]
    dep: acl2 (= 3.6-3) [alpha, amd64, i386, kfreebsd-amd64, kfreebsd-i386, powerpc]
  • dep: tetex-extra [m68k]
    Paketet inte tillgängligt
  • dep: texlive-latex-recommended [ej m68k]
    TeX Live: LaTeX recommended packages

Hämta acl2-infix

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha 3.6-3 480,4 kbyte2188 kbyte [filförteckning]
amd64 3.6-3 420,7 kbyte1888 kbyte [filförteckning]
armel 3.6-1 381,6 kbyte1096 kbyte [filförteckning]
hppa 3.4-2 585,7 kbyte1764 kbyte [filförteckning]
i386 3.6-3 382,5 kbyte1152 kbyte [filförteckning]
ia64 3.4-2 542,2 kbyte2484 kbyte [filförteckning]
kfreebsd-amd64 3.6-3 420,9 kbyte1926 kbyte [filförteckning]
kfreebsd-i386 3.6-3 382,1 kbyte1110 kbyte [filförteckning]
m68k (inofficiell anpassning) 3.1-1 191,1 kbyte772 kbyte [filförteckning]
mips 3.4-2 437,4 kbyte1260 kbyte [filförteckning]
mipsel 3.4-2 409,3 kbyte1260 kbyte [filförteckning]
powerpc 3.6-3 510,4 kbyte1448 kbyte [filförteckning]
s390 3.6-1 441,3 kbyte1248 kbyte [filförteckning]
sparc 3.6-2 433,5 kbyte1316 kbyte [filförteckning]