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

[ Source:  ]

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

• dep: libc6 (>= 2.17)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libx11-6

  X11 client-side library

• dep: libxaw7

  X11 Athena Widget library

• dep: libxt6

  X11 toolkit intrinsics library

• sug: otter

  resolution-style theorem prover

Download formed

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64 (unofficial port)	129.1 kB	361.0 kB	[list of files]