| Paketname | formed |
| Beschreibung | formula editor for first-order logic formulae |
| Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
| Version | 3.3f-1 |
| Sektion | universe/math |
| Priorität | optional |
| Installierte Größe | 368 Byte |
| Hängt ab von | libc6 (>= 2.5-5), libx11-6, libxaw7, libxt6 |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu MOTU Developers |
| Quelle | otter |
| Paketgröße | 155154 Byte |
| Prüfsumme MD5 | 60621baa7c36ada30d839e26176cf756 |
| Prüfsumme SHA1 | 20f4b855623b15b1f84cb04bf394c7c81c338e41 |
| Prüfsumme SHA256 | cbd3d14ce3f93bbbe11ba774cfe2f6fc4b0a213daf8db398754594f494a1701d |
| Link zum Herunterladen | formed_3.3f-1_i386.deb |
| Ausführliche Beschreibung | Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
|