» Tanglu » Packages » aequorea » math » acl2-source
staging  ] [  aequorea  ] [  dasyatis  ] [  chromodoris  ] [  bartholomea  ]
[ Source: acl2  ]

Пакунок: acl2-source (6.3-6)

Links for acl2-source

Screenshot

Tanglu Resources:

Download Source Package acl2:

Maintainer:

Please consider filing a bug before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Camm Maguire

It should generally not be necessary for users to contact the original maintainer.

Similar packages:

Computational Logic for Applicative Common Lisp: source files

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 the lisp source files to the main ACL2 binary.

Інші пакунки пов'язані з acl2-source

  • depends
  • recommends
  • suggests
  • dep: dpkg (>= 1.14.18)
    Debian package management system
  • dep: tex-common (>= 3)
    common infrastructure for building and installing TeX

Завантажити acl2-source

Завантаження для всіх доступних архітектур
Архітектура Розмір пакунка Розмір після встановлення Файли
all 2,678.3 kB14,309.0 kB [список файлів]