gapt.examples.theories.Theory
See theTheory companion object
Models a mathematical theory, i.e. definitions of data types, sorts, constants, etc. (contained in a gapt.proofs.context.Context), together with proofs about these objects.
Value parameters
- imports
-
A list of theories that this theory is based upon.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
object fta.typeobject list.typeobject listdrop.typeobject listfold.typeobject listlength.typeobject logic.typeobject nat.typeobject natdivisible.typeobject natdivision.typeobject natlists.typeobject natorder.typeobject props.typeobject set.type
Members list
In this article