Tarkennettu haku
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: otter  ]

Paketti: formed (3.3f-1)

Links for formed

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti otter:

Ylläpitäjä:

Samankaltaisia paketteja:

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.

Muut pakettiin formed liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi formed

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
sparc 154.0 kt384.0 kt [tiedostoluettelo]