all options
jessie  ] [  sid  ]
[ Source:  ]

Package: formed (3.3f-1.1) [debports]

Links for formed


Debian Resources:

Download Source Package :

Not found


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
arm64 (unofficial port) 129.1 kB361.0 kB [list of files]