formed_3.3f-1.1_amd64.deb


Advertisement

Description

formed - formula editor for first-order logic formulae

Distribution: Debian 7 (Wheezy)
Repository: Debian Main amd64
Package name: formed
Package version: 3.3f
Package release: 1.1
Package architecture: amd64
Package type: deb
Installed size: 409 B
Download size: 181.30 KB
Official Mirror: ftp.br.debian.org
Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.

Alternatives

    Download

    Binary package: formed_3.3f-1.1_amd64.deb
    Source package: otter

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install formed deb package:
      # sudo apt-get install formed

    Files

    • /usr/bin/formed
    • /usr/share/doc/formed/README
    • /usr/share/doc/formed/changelog.Debian.gz
    • /usr/share/doc/formed/changelog.gz
    • /usr/share/doc/formed/copyright
    • /usr/share/man/man1/formed.1.gz

    Changelog

    Advertisement
    Advertisement