Bug#179567: ITP: formed -- formula editor for first-order logic formulas

[Antoine Mathys <Antoine.Mathys@unifr.ch>]

Package: wnpp
Version: N/A; reported 2003-02-03
Severity: wishlist

* Package name    : formed
  Version         : 0.9
  Upstream Author : Automated Reasoning Group at Argone National
                    Laboratory <mccune@mcs.anl.gov>
* URL             : http://www.mcs.anl.gov/AR/otter/
* License         : without restriction
  Description     : formula editor for first-order logic formulas

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

-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux leonov 2.4.18 #6 Sun Dec 29 08:30:49 CET 2002 i686
Locale: LANG=C, LC_CTYPE=