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

Package: formed (3.3f-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
mips 181.8 kB552.0 kB [list of files]