all options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: otter  ]

Package: formed (3.3f-1.1 and others)

Links for formed

Screenshot

Debian Resources:

Download Source Package otter:

Maintainer:

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
  • enhances

Download formed

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 3.3f-1.1 197.0 kB502.0 kB [list of files]
amd64 3.3f-1.1 181.3 kB409.0 kB [list of files]
armel 3.3f-1.1 159.9 kB372.0 kB [list of files]
armhf 3.3f-1.1 149.7 kB275.0 kB [list of files]
hppa (unofficial port) 3.3f-1.1 143.3 kB368.0 kB [list of files]
hurd-i386 3.3f-1.1+b1 171.8 kB402.0 kB [list of files]
i386 3.3f-1.1 171.8 kB407.0 kB [list of files]
kfreebsd-amd64 3.3f-1.1 181.7 kB377.0 kB [list of files]
kfreebsd-i386 3.3f-1.1 171.9 kB376.0 kB [list of files]
m68k (unofficial port) 3.3f-1.1 137.1 kB356.0 kB [list of files]
mips 3.3f-1.1 164.3 kB422.0 kB [list of files]
mipsel 3.3f-1.1 164.8 kB422.0 kB [list of files]
powerpc 3.3f-1.1 168.2 kB399.0 kB [list of files]
powerpcspe (unofficial port) 3.3f-1.1 168.5 kB363.0 kB [list of files]
ppc64 (unofficial port) 3.3f-1.1 179.8 kB469.0 kB [list of files]
s390x 3.3f-1.1 186.0 kB457.0 kB [list of files]
sh4 (unofficial port) 3.3f-1.1 170.6 kB368.0 kB [list of files]
sparc 3.3f-1.1 160.7 kB384.0 kB [list of files]
sparc64 (unofficial port) 3.3f-1.1 163.4 kB348.0 kB [list of files]