alla flaggor
[  buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: acl2  ]

Paket: acl2-infix (8.5dfsg-5 och andra)

Länkar för acl2-infix

Screenshot

Debianresurser:

Hämta källkodspaketet acl2:

Ansvarig:

Externa resurser:

Liknande paket:

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, devel::library, field::mathematics, Implemented in: Lisp, Role: role::app-data, role::program, Works with: Source Code

Andra paket besläktade med acl2-infix

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta acl2-infix

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 8.4dfsg-2 502,1 kbyte3.045,0 kbyte [filförteckning]
amd64 8.5dfsg-5+b1 467,1 kbyte2.860,0 kbyte [filförteckning]
arm64 8.5dfsg-5+b1 466,0 kbyte2.761,0 kbyte [filförteckning]
armel 8.5dfsg-5+b1 460,1 kbyte1.819,0 kbyte [filförteckning]
armhf 8.5dfsg-5+b1 475,4 kbyte1.760,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 8.5dfsg-5 531,5 kbyte2.323,0 kbyte [filförteckning]
i386 8.5dfsg-5+b1 478,9 kbyte1.928,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 8.5dfsg-2 442,5 kbyte2.245,0 kbyte [filförteckning]
mips64el 8.5dfsg-5+b2 494,5 kbyte2.941,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 8.5dfsg-5+b1 472,5 kbyte3.095,0 kbyte [filförteckning]
ppc64el 8.5dfsg-5+b1 488,6 kbyte3.221,0 kbyte [filförteckning]
riscv64 8.5dfsg-5+b2 1.023,1 kbyte13.077,0 kbyte [filförteckning]
s390x 8.5dfsg-5+b1 468,1 kbyte2.870,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 8.4dfsg-2 479,4 kbyte1.810,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 8.5dfsg-5+b1 452,1 kbyte2.932,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 8.5dfsg-1 483,5 kbyte2.148,0 kbyte [filförteckning]