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 ftaobject listobject listdropobject listfoldobject listlengthobject logicobject natobject natdivisibleobject natdivisionobject natlistsobject natorderobject propsobject set
Members list
In this article