Paquet : acl2-infix (8.5dfsg-5 et autres)

[ Paquet source : acl2  ]

logique calculatoire pour Applicative Common Lisp - interface infixe

ACL2 est à la fois un langage de programmation dans lequel il est possible de modeler des systèmes informatiques et un outil pour aider à prouver les propriétés de ces modèles.

Ce paquet fournit les utilitaires et bibliothèques pour accéder à ACL2 par une notation infixe similaire à celles utilisées dans beaucoup de langages de programmation autres que lisp.

Étiquettes: Développement de logiciel: Interpréteur, Programmation Lisp, devel::library, field::mathematics, Mis en œuvre en: Lisp, Rôle: role::app-data, role::program, Fonctionne avec: Code source

Autres paquets associés à acl2-infix

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

  logique calculatoire pour Applicative Common Lisp - binaire principal

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

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

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

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

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

• dep: texlive-latex-recommended

  TeX Live: LaTeX recommended packages

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

  logique algorithmique pour application Common Lisp - source infixe

  rec: acl2-infix-source (= 8.5dfsg-1) [x32]

  rec: acl2-infix-source (= 8.5dfsg-2) [m68k]

  rec: acl2-infix-source (= 8.5dfsg-5) [non alpha, m68k, sh4, x32]

Télécharger acl2-infix

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	8.4dfsg-2	502,1 ko	3 045,0 ko	[liste des fichiers]
amd64	8.5dfsg-5+b1	467,1 ko	2 860,0 ko	[liste des fichiers]
arm64	8.5dfsg-5+b1	466,0 ko	2 761,0 ko	[liste des fichiers]
armel	8.5dfsg-5+b1	460,1 ko	1 819,0 ko	[liste des fichiers]
armhf	8.5dfsg-5+b1	475,4 ko	1 760,0 ko	[liste des fichiers]
hppa (portage non officiel)	8.5dfsg-5	531,5 ko	2 323,0 ko	[liste des fichiers]
i386	8.5dfsg-5+b1	478,9 ko	1 928,0 ko	[liste des fichiers]
m68k (portage non officiel)	8.5dfsg-2	442,5 ko	2 245,0 ko	[liste des fichiers]
mips64el	8.5dfsg-5+b2	494,5 ko	2 941,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	8.5dfsg-5+b1	472,5 ko	3 095,0 ko	[liste des fichiers]
ppc64el	8.5dfsg-5+b1	488,6 ko	3 221,0 ko	[liste des fichiers]
riscv64	8.5dfsg-5+b2	1 023,1 ko	13 077,0 ko	[liste des fichiers]
s390x	8.5dfsg-5+b1	468,1 ko	2 870,0 ko	[liste des fichiers]
sh4 (portage non officiel)	8.4dfsg-2	479,4 ko	1 810,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	8.5dfsg-5+b1	452,1 ko	2 932,0 ko	[liste des fichiers]
x32 (portage non officiel)	8.5dfsg-1	483,5 ko	2 148,0 ko	[liste des fichiers]