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

Package: formed (3.3f-1.1)

Links for formed


Debian Resources:

Download Source Package otter:


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 Package Size Installed Size Files
amd64 181.3 kB409.0 kB [list of files]
armel 159.9 kB372.0 kB [list of files]
armhf 149.7 kB275.0 kB [list of files]
i386 171.8 kB407.0 kB [list of files]