[ squeeze ] [ wheezy ] [ jessie ] [ sid ]

[ Source: otter ]

Package: formed (3.3f-1)

Links for formed

Debian Resources:

Download Source Package otter:

Maintainer:

Peter Collingbourne (QA Page)

Similar packages:

formula editor for first-order logic formulae

Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.

Other Packages Related to formed

depends

recommends

suggests

dep: libc6 (>= 2.3.5-1)

Die »Embedded GNU C Library«: Laufzeitbibliotheken
also a virtual package provided by libc6-udeb
dep: libx11-6

Clientseitige X11-Bibliothek
dep: libxaw7

X11 Athena Widget Bibliothek
dep: libxt6

X11-Bibliothek mit wesentlichen Werkzeugen

sug: otter

resolution-style theorem prover

Download formed

Download for all available architectures
Architecture	Package Size	Installed Size	Files
mips	181.8 kB	552.0 kB	[list of files]