gapt-examples
API
Generated with
gapt-examples/gapt.examples/Formulas/Peano

Peano

gapt.examples.Formulas.Peano
object Peano

Contains definitions related to arithmetic.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Peano.type

Members list

Value members

Concrete fields

val AdditionAssoc: FOLFormula
val AdditionBase: FOLFormula
val AdditionSucc: FOLFormula
val zero: FOLConst
Generated with