Package: acl2-infix (8.5dfsg-5)

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.5dfsg-5)

Beregningslogik for Applicative Common Lisp - hoved binær fil
dep: texlive-latex-recommended

TeX Live: LaTeX recommended packages

rec: acl2-infix-source (= 8.5dfsg-5)

Computational logik for Applicative Common Lisp - infix-kildetekst

Download acl2-infix

Download for all available architectures
Architecture	Package Size	Installed Size	Files
mips64el	490.5 kB	2,899.0 kB	[list of files]