[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Source: acl2  ]

Paquet : acl2-infix (3.1-1)

A Computational Logic for Applicative Common Lisp: infix interface

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 utilities and libraries to access ACL2 via an infix notation similar to that used in many non-lisp programming languages.

Autres paquets associés à acl2-infix

  • depends
  • recommends
  • suggests
  • dep: acl2 (= 3.1-1)
    Une logique calculatoire pour Applicative Common Lisp : binaire principal
  • dep: tetex-extra
    Fichiers supplémentaires pour bibliothèque teTeX
  • rec: acl2-infix-source (= 3.1-1)
    A Computational Logic for Applicative Common Lisp: infix source

Télécharger acl2-infix

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé Fichiers
m68k 191.1 ko772 ko [liste des fichiers]