Paket: prooftree (0.13-2 ve diğerleri)

[ Kaynak: prooftree  ]

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.

Etiketler: Arayüz Araç Takımı: GTK

prooftree ile İlgili Diğer Paketler

• dep: coq (>= 8.4)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libc6 (>= 2.29) [armel, mips64el, mipsel değil]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [armel, mips64el, mipsel değil]

  GDK Pixbuf library (transitional package)

• dep: libglib2.0-0 (>= 2.35.9) [armel, mips64el, mipsel değil]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.32) [armel, mips64el, mipsel değil]

  GTK graphical user interface library - old version

• dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]

  sanal paketi sağlayan liblablgtk2-ocaml

• dep: libpango-1.0-0 (>= 1.22.0) [armel, mips64el, mipsel değil]

  Layout and rendering of internationalized text

• dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]

  sanal paketi sağlayan ocaml-base-nox

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

prooftree indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	0.13-2+b1	1.060,9 kB	4.973,0 kB	[dosya listesi]
arm64	0.13-2+b1	1.253,3 kB	5.875,0 kB	[dosya listesi]
armel	0.13-2+b1	1.142,4 kB	4.784,0 kB	[dosya listesi]
armhf	0.13-2+b1	1.008,5 kB	3.441,0 kB	[dosya listesi]
i386	0.13-2+b1	1.002,0 kB	4.201,0 kB	[dosya listesi]
mips64el	0.13-2+b1	1.141,8 kB	4.784,0 kB	[dosya listesi]
mipsel	0.13-2+b1	1.142,7 kB	4.784,0 kB	[dosya listesi]
ppc64el	0.13-2+b1	1.129,0 kB	5.507,0 kB	[dosya listesi]