formed binary package in Ubuntu Precise i386
Formed is a formula editor for first-order logic formulas that
lets you simplify quantified formulas by quantifier
transformation among other things.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2011-10-26 15:03:48 UTC | Published | Ubuntu Precise i386 | release | universe | math | Optional | 3.3f-1.1 | ||
|
|||||||||
2011-10-26 15:05:40 UTC | Superseded | Ubuntu Precise i386 | release | universe | math | Optional | 3.3f-1 | ||
|