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