Ubuntu

“prooftree” 0.12-1 source package in Ubuntu

Changelog

prooftree (0.12-1) unstable; urgency=low


  * Initial release (Closes: #672480)

 -- Hendrik Tews <email address hidden>  Fri, 17 May 2013 16:53:01 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers on 2013-07-16
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Component:
main
Architectures:
any
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size MD5 Checksum
prooftree_0.12-1.dsc 2.0 KiB cc459a9075554a8380f28dc3eadf021e
prooftree_0.12.orig.tar.gz 101.2 KiB 1ccae43094ae52a85a52bff0f9e22495
prooftree_0.12-1.debian.tar.gz 2.1 KiB a032ebd56fbdf031fa8163f23bfc2ef6

Binary packages built by this source

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.