FTP Search

Directory

Content Search

formed

formula editor for first-order logic formulae

/Main/Debian/armel/math/

Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.

Info:

Homepage:	-
Package version:	3.3f-1
Architecture:	armel
Distribution:	Debian
Filename:	formed_3.3f-1_armel.deb

Browse inside formed_3.3f-1_armel.deb:

pkg://formed_3.3f-1_armel.deb:162996/docbook.css  info  downloads

2.90 KB  2005-10-22docbook.css  view  354+ mirrors
30.38 KB  2005-10-22article.html  view
34 B  2005-10-22+DESC  view  81 mirrors
521 B  2005-10-22+CONTENTS  view  220+ mirrors
34 B  2005-10-22+COMMENT  view  9322+ mirrors

Download formed_3.3f-1_armel.deb:

2007-02-07  ftp://ftp.linux.it/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.cesca.es/mirror/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.uni-frankfurt.de/pub/Mirrors3/debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://debian.lcs.mit.edu/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.kfki.hu/pub/linux/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.skynet.be/mirror1/debian.org/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.prz.rzeszow.pl/pub/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.wustl.edu/pub/linux/distributions/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.nz.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2008-02-06  ftp://ftp.uni-stuttgart.de/pub/mirror/ftp.de.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.uni-hannover.de/pub/mirror/linux/debian-mirror/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.port80.se/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.kulnet.kuleuven.ac.be/mirror/ftp.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.et-inf.fho-emden.de/pub/Mirrors/ftp.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.uni-koeln.de/mirrors/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.wh2.tu-dresden.de/pub/mirrors/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://24.215.0.24/Debian/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.rfc822.org/pub/mirror/ftp.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.fr.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.lf.net/pub/Mirrors/ftp.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://sapi.vlsm.org/.1/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.cl.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.mars.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://64.15.134.18/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2008-02-06  ftp://ftp.ps.pl/dsk0/ftp.debian.org/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp13.freebsd.org/pub/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.ankara.edu.tr/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.fi.debian.org/pub/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.nl.kernel.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.zcu.cz/pub/linux/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.auckland.ac.nz/linux/dists/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://161.53.160.16/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://193.219.61.67/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.med.univ-tours.fr/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.linux.pt/pub/mirrors/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2008-02-06  ftp://ftp.psn.ru/pub/Linux/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.sac.sk/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://64.50.238.52/.1/debian/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.crihan.fr/mirrors/ftp.debian.org/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://64.50.236.52/.1/debian/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.song.fi/pub/mirrors/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.tiscali.nl/pub/mirror/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2008-02-06  ftp://ftp.song.fi/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://ftp.demon.nl/disk3/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2008-02-06  ftp://ftp.externet.hu/.lib/disk1/debian/pool/main/o/otter/formed_3.3f-1_armel.deb
2007-02-07  ftp://147.52.159.12/mirrors/linux/debian/pool/main/o/otter/formed_3.3f-1_armel.deb