Search
Preparing search index...
The search index is not available
logically
Options
All
Public
Public/Protected
All
Inherited
Externals
Only exported
Menu
Globals
"Proof"
LineOfProofInterface
Interface LineOfProofInterface
Hierarchy
LineOfProofInterface
Implemented by
LineOfProof
Index
Properties
assumptions
cited
Lines
line
Number
proposition
rule
Properties
assumptions
assumptions
:
number
[]
cited
Lines
cited
Lines
:
number
[]
Optional
line
Number
line
Number
:
number
proposition
proposition
:
Formula
rule
rule
:
string
Globals
"
Proof"
Line
OfProof
Proof
Constructor
Args
Interface
Evaluate
Proof
Interface
Line
OfProof
Interface
assumptions
cited
Lines
line
Number
proposition
rule
Proof
Interface
Simple
Add
Line
ToProof
Interface
Response
Data
Type
Generated using
TypeDoc