Search

Preparing search index...
The search index is not available

logically

Options

All

Public
Public/Protected
All

Inherited Externals Only exported

Menu

Globals
"Proof"
ProofInterface

Interface ProofInterface

Hierarchy

ProofInterface

Implemented by

Proof

Index

Properties

conclusion
lines
premises

Properties

conclusion

conclusion: Formula

Defined in Proof.ts:80

lines

lines: LineOfProof[]

Defined in Proof.ts:81

premises

premises: Formula[]

Defined in Proof.ts:79

Globals
"Proof"

LineOfProof
Proof
ConstructorArgsInterface
EvaluateProofInterface
LineOfProofInterface

ProofInterface

SimpleAddLineToProofInterface
ResponseDataType

Legend

Module
Object literal
Variable
Function
Function with type parameter
Index signature
Type alias

Enumeration
Enumeration member
Property
Method

Interface
Interface with type parameter
Constructor
Property
Method
Index signature

Class
Class with type parameter
Constructor
Property
Method
Accessor
Index signature

Inherited constructor
Inherited property
Inherited method
Inherited accessor

Protected property
Protected method
Protected accessor

Private property
Private method
Private accessor

Static property
Static method

Generated using TypeDoc