formed 3.3f-1.1 (arm64 binary) in ubuntu xenial
Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
Details
- Package version:
- 3.3f-1.1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of otter 3.3f-1.1 in ubuntu trusty RELEASE produced
these files:
- formed_3.3f-1.1_arm64.deb (145.8 KiB)