Interchange
Perl
DBI
MySQL
Home
Projekte
Login
Interchange
Debian
Links
AGB
Kontakt
Wiki
Stichwortsuche
ALSA
Apache
CD
CPAN
ClamAV
DAV
DBI
DNS
DVD
Debian
Drupal
Emacs
Exim
FTP
Firefox
GNOME
HTTP
Hattrick
IMAP
IRC
Interchange
Java
JavaScript
KDE
LDAP
MIME
Mozilla
MySQL
Nagios
PHP
Perl
PostgreSQL
Python
RT
Ruby
SMTP
SOAP
SSH
SSL
Samba
TLS
Tomcat
XML
XSL
erp
Paketsuche
Debianpakete
appconfig
cgi-extratags-perl
ciphersaber
courier
courier
courier-authlib
dbix-easy-perl
debaux
interchange
interchange-doc
jfsutils
libmime-lite-html-perl
libtext-mediawikiformat-perl
libtie-shadowhash-perl
pure-ftpd
pure-ftpd
safe-hole-perl
set-crontab-perl
Kunden/Partner
B&N
Box of Rain
COBOLT NetServices
ecoservice
Gish Network
IIP/IR Vienna
Informa
L & D Computer
LinSoft IT
M & D
materialboerse.de
Media Business Software
Medical Business Solutions
Net Stores
NextCall
RUEB
Tenalt
Transfair-Net GmbH
Ulisses
WebHostNY.com
Wegacell
West Branch Angler
Wintime IT Solutions
acl2-source: A Computational Logic for Applicative Common Lisp: source files
Distribution
Debian stable
Abteilung
math
Quelle
acl2
Version
3.1-1
Maintainer
Camm Maguire
<
camm@enhanced.com
>
Beschreibung
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.
Ersetzt
acl2
(< = 2.7-9)
Kollidiert mit
acl2
(< = 2.7-9)
Offizielle Seiten
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket)
Download
all
Projekte
Reengineering e-procurement System
Mehr erfahren ...
Systemadministration für Internetagentur
Mehr erfahren ...
Marktplatz für Musikinstrumente und Zubehör
Mehr erfahren ...
Foreign Service National Training Database
Mehr erfahren ...
Marktplatz für elektronische Bauelemente
Mehr erfahren ...
