Package: acl2-infix (8.6+dfsg-2)

Links for acl2-infix

Debian Resources:

Download Source Package acl2:

Maintainer:

Camm Maguire (QA Page)

External Resources:

Homepage [www.cs.utexas.edu]

Similar packages:

Computational Logic for Applicative Common Lisp: infix-grænseflade

ACL2 er både et programmeringssprog hvori du kan modellere computersystemer og et værktøj til at hjælpe med at bevise egenskaber for disse modeller.

Denne pakke indeholder redskaber og biblioteker til at tilgå ACL2 via en infix-notation i stil med den, som anvendes i mange ikke-lisp programmeringssprog.

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

Other Packages Related to acl2-infix

depends

recommends

suggests

enhances

dep: acl2 (= 8.6+dfsg-2)

Beregningslogik for Applicative Common Lisp - hoved binær fil
dep: c-shell

virtual package provided by csh, tcsh
dep: texlive-latex-recommended

TeX Live - anbefalede pakker for LaTeX

rec: acl2-infix-source (= 8.6+dfsg-2)

Computational logik for Applicative Common Lisp - infix-kildetekst

Download acl2-infix

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	866.0 kB	5,740.0 kB	[list of files]
arm64	833.8 kB	5,246.0 kB	[list of files]
armel	814.6 kB	3,577.0 kB	[list of files]
armhf	845.5 kB	3,554.0 kB	[list of files]
i386	852.2 kB	3,662.0 kB	[list of files]
ppc64el	885.4 kB	5,927.0 kB	[list of files]
riscv64	1,876.4 kB	24,143.0 kB	[list of files]
s390x	863.9 kB	5,587.0 kB	[list of files]