[ buster ] [ bullseye ]

[ Kaynak: acl2 ]

Paket: acl2-emacs (8.0dfsg-1)

acl2-emacs için bağlantılar

Debian Kaynakları:

acl2 Kaynak Paketini İndir:

Geliştirici:

Camm Maguire (QA Sayfası)

Benzer paketler:

Computational Logic for Applicative Common Lisp: emacs 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 an emacs interface to ACL2.

Etiketler: Yazılım Geliştirme: Yorumlayıcı, Lisp Geliştirme, Alan: field::mathematics, implemented-in::lisp, Kullanıcı Arayüzü: Komut Satırı, Rol: role::plugin, role::program, Uygulama Takımı: Emacs, Amaç: Düzenleme, Şununla çalışır: Kaynak Kod

acl2-emacs ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: acl2 (>= 8.0dfsg-1)

Computational Logic for Applicative Common Lisp: main binary
dep: emacs25

GNU Emacs transitional package to emacs-gtk

ya da emacsen

sanal paketi sağlayan emacs-gtk, emacs-lucid, emacs-nox, xemacs21-mule, xemacs21-mule-canna-wnn, xemacs21-nomule
dep: tex-common (>= 6)

common infrastructure for building and installing TeX

acl2-emacs indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	66,0 kB	286,0 kB	[dosya listesi]