[  etch  ] [  etch-m68k  ] [  squeeze  ] [  sid  ]
[ Paquet 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

  • dépendances
  • recommandations
  • suggestions
  • dep: acl2 (= 3.1-1)
    Une logique calculatoire pour Applicative Common Lisp : binaire principal
  • dep: tetex-extra
    Additional TeX input files of teTeX
  • rec: acl2-infix-source (= 3.1-1)
    Logique algorithmique pour application Common Lisp : source infix

Télécharger acl2-infix

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
m68k 191,1 ko772 ko [liste des fichiers]